The logcial operator that denies or contradicts a propostion.
A listing of the possible truth values for a set of one or more propostions.
Defining Truth Table
Displays the truth values produced by a logical operator modifying a minimum number of variables.
A logical operator that joins two propositions and is true if and only if both the propostions are true.
A logical operator that joins two propostions and is true if and only if one or both of the propostions is true.