F=(A≡B)∨A
Переменных две, поэтому в таблице
| A | B | |||
|---|---|---|---|---|
Проверка по строкам:
- При
, : , затем . - При
, : , затем . - При
, : , затем . - При
, : , затем .
Столбец
Эквивалентность истинна, когда значения операндов равны. Дизъюнкция ложна только тогда, когда оба операнда ложны.
Столбец
F=(A∨B)→C
Переменных три, поэтому в таблице
| A | B | C | ||||
|---|---|---|---|---|---|---|
Импликация
Импликация ложна только тогда, когда из истины получается ложь: первая часть равна
Столбец
