Совершенные нормальные конъюнктивные и дизъюнктивные формы. Полные системы логических связок.

Определение 1:Элементарной конъюнкцией называется конъюнкция переменных, каждая из которых стоит под знаком отрицания или без него. Например: , , .

Определение 2: Элементарной дизъюнкцией называется дизъюнкция переменных, каждая из которых стоит под знаком отрицания или без него. Например: , .