Równoważnością zdań p,q nazywamy zdanie postaci “p wtedy i tylko wtedy, gdy q” i symbolicznie zapisujemy je w postaci:
Przyjmujemy, że zdanie p \iff q jest prawdziwe, gdy oba zdania logiczne mają tę samą wartość logiczną, tj. oba są prawdziwe lub oba są fałszywe.
p | q | p\iff q |
1 | 1 | 1 |
1 | 0 | 0 |
0 | 1 | 0 |
0 | 0 | 1 |