РАБОТА С БУЛЕВЫМИ ФУНКЦИЯМИ

📍Существует набор законов и свойств, которые легко доказуемы с помощью таблицы истинности и всегда применимы:

¬ ¬А = А
А v ¬A = 1
A v 1 = 1
A v 0 = A
A ∧ ¬A = 0
A ∧ A = A
A ∧ 0 = 0
A ∧ 1 = A

Некоторые законы:
▪️Коммутативность
1.А ∧ ( B v C ) = A ∧ B v A ∧ C
2. A v ( B ∧ C ) = ( A v B ) ∧ ( A v C )

▪️Законы поглощения:
1.A v A ∧ B = A
2. A ∧ ( A v B ) = A

▪️Законы склеивания:
1. A ∧ ¬B v A ∧ B = A
2. ( A v ¬B )∧ ( A v B ) = A

▪️Законы Де Моргана
1.¬(A ∧ B) =¬A v ¬B
2.¬(A v B) =¬A ∧ ¬B