Таблицы истинности

Значком /\ обозначена логическая операция  И, значком \/ - логическая операция ИЛИ, значком  ¬ - логическая операция НЕ, значком → - логическая операция следования
Какое логическое выражение эквивалентно выражению  ¬(¬A /\ (¬B \/ C))?

1) ¬A \/ ¬B \/ C          2)A /\ ¬B /\ ¬C          3)A \/ B /\ ¬C         4)A /\ ¬B /\ C

Значком /\ обозначена логическая операция  И, значком \/ - логическая операция ИЛИ, значком  ¬ - логическая операция НЕ, значком → - логическая операция следования
Какое логическое выражение эквивалентно выражению  ¬(¬ A \/ ¬ B)/\ C?

1) ¬ A \/ B \/ ¬ C              2)(¬ A \/ ¬ B)/\ ¬C               3)(A \/ B)/\ C            4)A /\ B /\ C

Значком /\ обозначена логическая операция  И, значком \/ - логическая операция ИЛИ, значком  ¬ - логическая операция НЕ, значком → - логическая операция следования
Выражение
p /\ (x-1 < y) \/  ¬(x >= y)
истинно при ..

1) x=7, y=6, p=false                
2) x=7, y=6, p=true                
3) x=7, y=7, p=false                
4) x=4, y=6, p=true

Значком /\ обозначена логическая операция  И, значком \/ - логическая операция ИЛИ, значком  ¬ - логическая операция НЕ, значком → - логическая операция следования
Какое логическое выражение эквивалентно выражению  A /\ ¬(B \/ ¬ C)?

1) A /\ ¬B /\ C                     2)A \/ ¬B \/ ¬C                       3)A /\ ¬B /\ ¬C                 4)A \/ ¬B \/ C

Значком /\ обозначена логическая операция  И, значком \/ - логическая операция ИЛИ, значком  ¬ - логическая операция НЕ, значком → - логическая операция следования
Выражение (¬ z \/(y /\ x)) /\ (¬ x \/y) ложно при

1) x=1, y=1, z=1                
2) x=0, y=1, z=0                  
3) x=1, y=0, z=1                
4) x=0, y=0, z=0