Изменения
Нет описания правки
∧ - конъюнкция, логическое И, также обозначается x and y, x&y , x·y
<tex>\nrightarrow</tex> - отрицание импликации
x - первый проектор, также обозначается p<sub>1</sub> или p<sub>x</sub>
<tex>\nleftarrow</tex> - отрицание обратной импликации
y - второй проектор, также обозначается p<sub>2</sub> или p<sub>y</sub>
