Тема 2. БУЛЕВЫ ФУНКЦИИ
Теория:
Логические формулы, содержащие кроме переменных и скобок только знаки функций «&, 
» - конъюнкции (логическое И), « 
» – дизъюнкции (логическое ИЛИ) и «–» – отрицания (логическое НЕ), называются булевыми. Знак конъюнкции в формулах часто опускают или заменяют точкой. Могут использоваться и еще несколько логических операций: « 
» – импликация (логическое ЕСЛИ, ТО) и эквивалентность « 
» – (логическое ТОГДА И ТОЛЬКО ТОГДА, КОГДА) и др.
Действия логических операций задаются таблицами истинности:
Таблица истинности логических операций
Исходя из таблиц истинности, можно строить таблицы истинности для произвольных формул.
Задача 1. Построить таблицу истинности для формулы
Решение:
Будем строить таблицу истинности последовательно в соответствии с шагами построения формулы 
.
