Задание №1. Записать составное высказывание "(2*2=4 и 3*3=9) или (2*2 <> 4 и 3*3 <> 9)" в форме логического выражения. Построить таблицу истинности.
Задание №2. Доказать, используя таблицы истинности, что логические выражения ¬(¬А \/ ¬В) и А & В равносильны.
Задание №3. Построить таблицу истинности логического выражения :
Задание №4. Символом F обозначено одно из указанных ниже логических выражений от трех аргументов: X, Y, Z. Дан фрагмент таблицы истинности выражения F (см. таблицу справа). Какое выражение соответствует F?
1)X \/ ¬Y \/ Z 2) X /\ Y /\ Z 3) X /\ Y /\ ¬Z 4) ¬X \/ Y \/ ¬Z