Проверка истинности логических выражений (10А, 10.11)

1. Сегодня мы воспользуемся свойствами логических операций (на рисунке), для упрощения логических выражений. Запишите и запомните эти свойства.

А так же запишите как можно заменить импликацию и эквивалентность (эквиваленцию) с помощью коньюнкции, дизъюнкции и отрицания. Конечно можно и остальные, но они в примерах не будут встречаться.

2. Просмотрите видеоурок до второго примера включительно (до 1:42). Смотрите с ручкой и бумагой и держите перед глазами законы, тогда станет гораздо проще.

3. В качестве примера, рассмотрите упрощение нескольких логических выражений

4. Выполните задание

 
5. Сфотографируйте работу и отправьте её и/или вопросы по работе на почту infmatem208@gmail.com
В письме пожалуйста указывайте фамилию, класс и тему работы