Таблиці істинності

${\displaystyle \mathbf {A} }$	Заперечення ${\displaystyle \mathbf {\lnot A} }$	Тавтологія ${\displaystyle \top }$	Протиріччя ${\displaystyle \bot }$
0	1	1	0
1	0	1	0

${\displaystyle \mathbf {A} }$	${\displaystyle \mathbf {B} }$	Кон'юнкція, AND ${\displaystyle A\land B}$	Диз'юнкція, OR ${\displaystyle A\lor B}$	Виключна диз'юнкція, XOR ${\displaystyle A\oplus B}$	Еквівалентність, XNOR ${\displaystyle \ A\leftrightarrow B}$	Імплікація ${\displaystyle \ A\rightarrow B}$	Обернена імплікація ${\displaystyle \ A\leftarrow B}$	Штрих Шефера, NAND ${\displaystyle \ A|B}$	Стрілка Пірса, NOR ${\displaystyle \ A\downarrow B}$
0	0	0	0	0	1	1	1	1	1
1	0	0	1	1	0	0	1	1	0
0	1	0	1	1	0	1	0	1	0
1	1	1	1	0	1	1	1	0	0
альтернативне позначення		${\displaystyle AB}$	${\displaystyle A+B}$	${\displaystyle A{\underline {\lor }}B}$	${\displaystyle A{\overline {\underline {\lor }}}B}$			${\displaystyle A{\overline {\land }}B}$	${\displaystyle A{\overline {\lor }}B}$

З використанням таблиць істинності можна обчислити значення деяких логічних виразів (формул) через значення аргументів, що входять в них, а також довести еквівалентність двох формул. Наприклад:

Логічна еквівалентність : ${\displaystyle (p\rightarrow q)=(\lnot p\lor q)}$

${\displaystyle p\;}$	${\displaystyle q\;}$	${\displaystyle \lnot p\;}$	${\displaystyle \lnot p\lor q\;}$	${\displaystyle p\rightarrow q\;}$
0	0	1	1	1
0	1	1	1	1
1	0	0	0	0
1	1	0	1	1

З цієї таблиці одержуємо, що вираз ${\displaystyle ~p\to q}$ є еквівалентним ${\displaystyle ~\neg p\ \lor \ q}$.

За допомогою таблиць істинності можна доволі просто довести, що деякі формули є тавтологіями тобто приймають значення «Істина» при будь-яких значеннях аргументів. Наприклад:

${\displaystyle {\begin{array}{|c|c|c||c|c|c|c|}p&q&r&(p\lor q)&\neg (p\lor q)&(p\to r)&\neg (p\lor q)\to (p\to r)\\\hline 1&1&1&1&0&1&1\\1&1&0&1&0&0&1\\1&0&1&1&0&1&1\\1&0&0&1&0&0&1\\0&1&1&1&0&1&1\\0&1&0&1&0&1&1\\0&0&1&0&1&1&1\\0&0&0&0&1&1&1\\\hline \end{array}}}$

• Математична логіка
• Алгебра логіки
• Числення висловлень
• Математичні таблиці