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

1.

Лекция 2. Таблицы истинности
Виды формул в ЛВ (по таблицам истинности):
Есть хотя бы одно значение «Истинно» в таблице
Тавтологии
Фактические формулы
Логические
противоречия
Есть хотя бы одно значение «Ложно» в таблице
Тавтология – логический закон (примеры)
(