Постройте таблицы истинности
Приоритеты операций
- операции в скобках ()
- отрицание
- конъюнкция
- дизъюнкция
- импликация
- эквивалентность
F=A˅(B˅¬Bʌ¬C) | |
F=(A˅B)ʌ(¬A˅¬B); | |
F= ¬(A˅B)ʌ(C˅B); | |
F = А & (В → С) | |
F=А&(В˅¬В&¬С) | |
F=(A˅B)ʌ(¬A˅¬B | |
F=A /\ (B \/ ¬ B/\¬ C) | |
F=A˅(B˅¬Bʌ¬C) | |
F=A↔¬A/\¬ C | |
F=(A→B)↔(¬B→A) | |
F = (А ˅ В) → ¬С) | |
F = (A + B · C) + (¬A · C) | |
F =C + A&B | |
F =¬(A & ¬B)&(¬A + (A + B)) | |
F =¬A · ¬B · (¬C + C) | |
F=А˅ (В˅¬А&¬С) | |
F = А &С ˅ (В → С) | |
F=A&В↔¬A/\¬ C | |
F= ¬ A /\ ¬ C → A&В | |
F = A & ¬B & (В → С) | |
