Задание 13. С помощью таблицы истинности доказать равносильность: A → B = ¬A ∨ B.

Question

Вопрос:

Accepted Answer

Импликация ложна только в случае, когда A истинно, а B ложно. Сравним значения обоих выражений:

A	B	A → B	¬A	¬A ∨ B
И	И	И	Л	И
И	Л	Л	Л	Л
Л	И	И	И	И
Л	Л	И	И	И

Столбцы выражений совпадают во всех строках, следовательно, выражения равносильны.

Ответ: A → B ≡ ¬A ∨ B.