ЯсноПонятно24

Таблица истинности:

| x | y | z | ¬(¬(x∧y)⇒y)⇒(¬x∧z) | |---|---|---|------------------------| | 0 | 0 | 0 | 1 | | 0 | 0 | 1 | 1 | | 0 | 1 | 0 | 1 | | 0 | 1 | 1 | 1 | | 1 | 0 | 0 | 1 | | 1 | 0 | 1 | 1 | | 1 | 1 | 0 | 1 | | 1 | 1 | 1 | 1 |

ДНФ (дизъюнктивная нормальная форма): (x∨¬y∨z)∧(x∨y∨z)∧(¬x∨¬y∨z)∧(¬x∨y∨z)

КНФ (конъюнктивная нормальная форма): (¬x∨y∨¬z)∨(¬x∨¬y∨¬z)∨(x∨¬y∨¬z)∨(x∨y∨¬z)

СЛНФ (совершенная дизъюнктивная нормальная форма): (x∨y∨¬z)∧(x∨¬y∨¬z)∧(¬x∨y∨¬z)∧(¬x∨¬y∨¬z)

КСКФ (совершенная конъюнктивная нормальная форма): (¬x∨y∨z)∧(¬x∨¬y∨z)∧(x∨¬y∨z)∧(x∨y∨z)

Логическая схема:

     ┌───┐      ┌───┐
x ──►│   ├─┬───►│   │
     ├───│─┘    ├───│
     │   │      │   │
y ──►│   ├─────►│   │
     ├───┤      ├───┤
     │   │      │   │
z ──►│   │─────►│   │
     └───┘      └───┘

Класс Поста: данное выражение принадлежит классу Поста, так как оно может быть выражено с помощью операций конъюнкции, дизъюнкции и отрицания.