Tautologie ve výrocích
Určete, které z následujících výroků jsou tautologií (= vždy pravdivý složený výrok):
\( \large \left( a \Leftrightarrow b\right) \Leftrightarrow \left( \neg a \Leftrightarrow \neg b\right) \)
a⇔b | ¬a⇔¬b | (a⇔b)⇔(¬a⇔¬b) | |||||||||||||||||||||||||||
1 | 1 | 1 | |||||||||||||||||||||||||||
0 | 0 | 1 | Není zaškrtnuto
a⇔b | ¬a⇔¬b | (a⇔b)⇔(¬a⇔¬b) | ||||||||||||||||||
1 | 1 | 0 | ||||||||||||||||||
0 | 0 | 0 | Není zaškrtnuto
a⇔b | ¬a⇔¬b | (a⇔b)⇔(¬a⇔¬b) | |||||||||
1 | 0 | 1 | |||||||||
1 | 0 | 0 | Není zaškrtnuto
a⇔b | ¬a⇔¬b | (a⇔b)⇔(¬a⇔¬b) |
0 | 1 | 1 |
0 | 1 | 0 | Není zaškrtnuto