Логика Булевы функции

Дизъюнкция, конъюнкция, стрелка Пирса, штрих Шеффера, эквиваленция, импликация, сложению по модулю два