Дизъюнктивная нормальная форма (ДНФ) Простой конъюнкцией или конъюнктом называется конъюнкция некоторого конечного набора переменных или их отрицаний, причём каждая переменная встречается не более одного раза. Дизъюнктивной нормальной формой или ДНФ называется дизъюнкция простых конъюнкций. Конъюнктивная нормальная форма (КНФ) Конъюнктивная нормальная форма1 (КНФ) определяется двойственно к ДНФ. Простой дизъюнкцией или дизъюнктом называется дизъюнкция одной или нескольких переменных или их отрицаний, причём каждая переменная входит в неё не более одного раза. КНФ — это конъюнкция простых дизъюнкций.
Это знаки для обозначения логических операций: a) отрицание (инверсия, логическое НЕ) обозначается ¬ (например, ¬А);
b) конъюкция логическое умножение, логическое И) обозначается /\ (например, А /\ В) либо & (например, А & В);
c) дизъюнкция (логическое сложение, логическое ИЛИ) обозначается \/ (например, А \/ В);
вдруг пригодится, есть еще такие знаки:
d) следование (импликация) обозначается → (например, А → В);
e) тождество обозначается ≡ (например, A ≡ B). Выражение A ≡ B истинно тогда и только тогда, когда значения A и B совпадают (либо они оба истинны, либо они оба ложны);
f) символ 1 используется для обозначения истины (истинного высказывания); символ 0 – для обозначения лжи (ложного высказывания).
Ошибка в 3 строке, z = x*2 + y*3, у нас нет ";" в конце строки.
P.S Будем считать, что продолжение 4 строки существует и оно верное, просто на "Знания" странно вставился код(такое бывает).