/\ - AND, &, И, логическое умножение, конъюнкция,
https://ru.wikipedia.org/wiki/Конъюнкция\/ - OR, |, ИЛИ, логическое сложение, дизъюнкция,
https://ru.wikipedia.org/wiki/Дизъюнкция¬ - NOT, !,~, НЕ, отрицание, инверсия,
https://ru.wikipedia.org/wiki/Отрицание
(x /\ y /\¬z) \/ (x /\ y /\ z) \/ (x /\¬y /\¬z