Практическая работа 1 Тема: Логические операции. Равносильность формул Цель работы: Научиться строить таблицы истинности логических высказываний и преобразовывать формулы, используя основные равносильности Задание 1: Записать определения, обозначения и таблицы истинности 1. Инверсия 2. Конъюнкция 3. Дизъюнкция 4. Импликация 5. Эквивалентность 6. Штрих Шеффера 7. Стрелка Пирса 8. Сумма по модулю два Задание 2: Записать порядок выполнения логических операций в сложном логическом выражении. Задание 3: Записать основные законы логики