📍Существует набор законов и свойств, которые легко доказуемы с помощью таблицы истинности и всегда применимы:
¬ ¬А = А
А 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
Авторизуйтесь, чтобы оставить комментарий.