P D eof r0 D D | C r1 C r2 C C & N r3 N r4 N ~ B r5 B r6 B t r7 f r8 ( D ) r9
Glossary:
P -
Proposition
D -
Disjunction
C -
Conjunction
N -
Negation
B -
Boolean
Created:
March 29, 2001
Last modified:
May 29, 2007