Example of Truth table with different compound propositions

In logic, the meaning of p $$\rightarrow$$ q is given by its truth table

"p implies q"

University of Michigan - Ann Arbor

Built from multiple propositions using logical operators to connect the propositions

Compound proposition

University of Michigan EECS 203 Lecture Notes

Since propositions in english can be ambiguous in how its meaning truth tables, provide an unambiguous way to show the meaning of a compound proposition.

Truth Tables

A circuit through which the wires carry T/F values and the gates hold logical operations (and : $$\land$$  ;  or : $$\lor$$  ;  not : $$\lnot$$  ;  etc.) .

You should ask:
- What is the circuit doing?
- Can it be simplified?

Learn Before

Related

Learn After