Please enable JavaScript.
Coggle requires JavaScript to display documents.
Ch9 - Propositional Calculus (Proposition (Propositional Variables…
Ch9 - Propositional Calculus
Proposition
Statement that is true or false
Propositional Variables
Something equals something
Combination of Propositions
Fundamental Connectors
Conjunction
p ^ q
ANDing of 2 statements
Disjunction
ORing of 2 statements
p V q
Negation
opposite of
-p, ~p, ¬p
Derived Connectors
NAND (Arrow up)
NOR or Joint Denial (arrow down)
XOR (circle with plus symbol)