Truth table
We can use the above rules to find the truth tables of morę
complex compound statements.
Let's consider (pA~q) <==X.'p==>q)(*) p q ~p 'qpA 'q 'p ==>q (A 1 1000 10 1001111 0 1 10010 0011001
p, q - statement variables
The number of rows in the truth table depends on the number
of statement variables. For n different statement variables the
truth table must have 2n rows.