Truth table and the meaning of $\oplus$ in propositional logic

1.8k Views Asked by At

Could someone show me the truth table for this proposition? I think I have the last two down, but I'm not sure what the symbol in the following one is: $$p\oplus (p\wedge q)$$

2

There are 2 best solutions below

0
On

$p\oplus t$ is true only when exactly one of $p$ and $q$ is true, knowing this we construct the table in the following way:

$$ \begin{matrix} p & q & p\wedge q & p\oplus (p\wedge q) \\ T & T & T & F \\ T & F & F & T \\ F & T & F & F \\ F & F & F & F \\ \end{matrix} $$

0
On

The first symbol that appears in called "exclusive OR" or also known as XOR

XOR will evaluate to false when both values are True, or both values are false.

$$ \begin{array}{cc|c} p & q & p \oplus q \\ \hline T & T & F \\ T & F & T \\ F & T & T \\ F & F & F \end{array} $$