Упростить выражения:
(A v B) & (A v B v C);
A & (B & (¬A v ¬B));
¬ (A & (B v ¬C) v ¬A & B);
¬ (A v B → ¬ (B v C));
A & B & C & (¬B v ¬C) v D;
1) (A v B) & (A v B v C) = A v B
2) A & (B & (¬A v ¬B)) = 0
3) ¬ (A & (B v ¬C) v ¬A & B) = (A → B) & ¬B (Возможно можно еще как-то сократить)
4) ¬ (A v B → ¬ (B v C)) = B v A & C
5) A & B & C & (¬B v ¬C) v D = D
Copyright © 2024 SCHOLAR.TIPS - All rights reserved.
Answers & Comments
Verified answer
1) (A v B) & (A v B v C) = A v B
2) A & (B & (¬A v ¬B)) = 0
3) ¬ (A & (B v ¬C) v ¬A & B) = (A → B) & ¬B (Возможно можно еще как-то сократить)
4) ¬ (A v B → ¬ (B v C)) = B v A & C
5) A & B & C & (¬B v ¬C) v D = D