Te bewijzen: <pq>q ↔ <p>q
Bewijs in tabelvorm
We maken een tabel van de combinatie van de mogelijke waarden voor p en q:
|
p |
q |
<pq>q |
<p>q |
|
<> |
<> |
<> |
<> |
|
<<>> |
<> |
<> |
<> |
|
<> |
<<>> |
<<>> |
<<>> |
|
<<>> |
<<>> |
<> |
<> |
We merken dat de derde en de vierde kolom identiek zijn.
QED