Вопросы: 1. Дайте определение импликации. 2. Дайте определение эквивалентности. Сделайте вывод по данной работе.

1. Импликация. Высказывание A → B («если A, то B») ложно только тогда, когда A истинно, а B ложно; во всех остальных случаях оно истинно.

2. Эквивалентность. Высказывание A ↔ B истинно, когда A и B имеют одинаковые значения истинности, и ложно, когда их значения различаются.

Вывод: в ходе работы были составлены таблицы истинности, применены законы логики для преобразования выражений и разобраны импликация и эквивалентность.