*******
User Docs
About
User Doc
Disjunction
Conjunction
Implication
Equivalence
Negation
Proposition
Tables
Truth Tables
Well Formed
Nand
******* Exercises: ******



  1. Enter a proposition.
  2. Click the 'Get Proposition' button.
  3. Click the 'Assign Values' tab.



  1. Delete the ? mark and type in either T or F value.
  2. Click the 'Get Values' button.
  3. Close the dialog box and click the 'Stp' button.



  1. Enter a proposition.
  2. Click the 'Set Truth Table' button.
  3. Close the dialog box and click the 'Stp' button.


******* *******
******* *******
Logical connectives: Disjunction: + Implication:   > Conjunction:   . Negation:   ~ Equivalence:   =
Values of variables for even no. exercises: P, Q, R are true. X, Y, Z are false.