Логіка висловлювань і предикатів

1. 1.1Таблиця істинності і спрощенняПобудувати таблицю, звести до ¬ ∧ ∨
2. 1.2Метод контрприкладуПеревірка на тавтологію контрприкладом
3. 1.3Еквівалентність формулТаблиці, закони, комбінований спосіб
4. 1.4Предикати і кванториКвантори на області {a, b}