Приоритет булевых функций

Высший приоритет у отрицания. За ним идёт конъюнкция. Далее – дизъюнкция, симметрическая разность, эквивалентность, импликация. Иногда, впрочем, для дополнительного уточнения конъюнкцию заключают в скобки.

Некоторые равенства о булевых функциях двух переменных

В дальнейшем нам понадобятся следующие три равенства. Их можно обосновать логическими рассуждениями, а можно и с помощью сравнения таблиц истинности.

1.

2.

3.