История логики

Логические задачи

Высказывания

Логические функции

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

Запись выражений на языке алгебры логики

Законы логики

Решение задач

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

Приведенные выше определения можно свести в  таблицу,  которая     называется таблицей истинности:

Проверим равносильность формул:

Решение:

Высказывание истинно при любых значениях А и В.

Высказывание истинно при любых значениях А и В.

Высказывание истинно при любых значениях А и В.

Высказывание истинно при любых значениях А и В.

Высказывание истинно при любых значениях А и В.

Если в результате составления таблицы истинности окажется во всех строках ЛОЖЬ, такое высказывание называется ложным при всех значениях А и В.