Question

Формулы данных высказываний преобразовать в эквивалентные, исключив логическое сложение:
Пожалуйста!!!!!!!!

Answer 1

1. (A ∧ ¬B) ∨ (¬A ∧ B)

1. ( (A ∧ ¬B) ∨ ¬A) ∧ ( (A ∧ ¬B) ∨ B) - по закону дистрибутивности;

2. ( (A ∨ ¬A) ∧ (¬B ∨ A) ) ∧ ( (B ∨ A) ∧ (¬B ∨ B) - по закону дистрибутивности;

3. (1 ∧ (¬B ∨ A)) ∧ ( (B ∨ A) ∧ 1) - по закону исключения третьего;

4. (¬B ∨ A) ∧ (B ∨ A) = A - по закону исключения (склеивания).

2. ¬(A ∨ ¬B)

¬(A ∨ ¬B) = ¬A ∧ B - по закону де Моргана.

3. A ∧ ¬B ∨ C

A ∧ ¬B ∨ C = (C ∨ A) ∧ (C ∧ ¬B) - по закону дистрибутивности.