Go backward to Equivalence Laws Go up to Top Go forward to Logic Evaluator

Propositional Logic

• Semantics:

  A	B	F	T	~A	A /\  B	A \/ B	A => B	A <=> B
  false	false	false	true	true	false	false	true	true
  false	true	false	true	true	false	true	true	false
  true	false	false	true	false	false	true	false	false
  true	true	false	true	false	true	true	true	true

• Relationships:

  A \/ B	iff	~(~A /\  ~B)
  A => B	iff	~A \/ B
  A <=> B	iff	(A => B) /\  (B => A)

All connectives can be ultimately reduced to negation and conjunction.