Дана логическая формула
F = ((B&C∨A)⟶¬B) ∨ ¬A& B&¬C
Для этой формулы построена таблица истинности
Интерпретацией для формулы F является:
- вся таблица;
- один из столбцов (А, В или С) таблицы.
- одна из строк таблицы;
- последний столбец таблицы (F);