Login   Register  
PHP Classes
elePHPant
Icontem

File: demo/syntax.litteral

Recommend this page to a friend!
Stumble It! Stumble It! Bookmark in del.icio.us Bookmark in del.icio.us
  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: 2003-10-07 10:51
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