PHP Classes

File: demo/syntax.litteral

Recommend this page to a friend!
  Classes of naholyr   First Order Logic Prop   demo/syntax.litteral   Download  
File: demo/syntax.litteral
Role: Auxiliary data
Content type: text/plain
Description: Defines litteral syntax for the demo file (it then accepts two syntax, for example "a & b" is the same than "a AND b"). This is an example on how you can add your own supported syntax
Class: First Order Logic Prop
Manipulate, analyze, and prove logic propositions
Author: By
Last change:
Date: 21 years ago
Size: 319 bytes
 

Contents

Class file image Download 
# litteral syntax

TRUE:           TRUE
FALSE:          FALSE
NOT:            NOT
AND:            AND
NAND:           NAND
OR:             OR
NOR:            NOR
XOR:            XOR
IMPLIES:        IMPLIES
NOT_IMPLIES:    NOT_IMPLIES
IMPLIED:        IMPLIED_BY
NOT_IMPLIED:    NOT_IMPLIED_BY
IFF:            IF_ONLY_IF