На данной web-странице представлен полный перечень задач из категории B15. Упражнения из категории B15 связаны с умением строить и преобразовывать логические выражения.

Логическое выражение – выражение, содержащее различные суждения, операторы, операции, результатом вычисления которого является одно из двух предопределенных значения «Истина» или «Ложь».

Под преобразованием логических выражений, или упрощением логической формулы, понимается изменение исходного логического выражения в соответствии с законами алгебры логики, приводящее к логической формуле, в которой меньше конъюнкции и дизъюнкции, нет отрицаний неэлементарных формул.

Пример логического выражения: "Если Иван пришел, то я готов начинать!".

Основные логические операции в алгебре логики:

• инверсия;

• конъюнкция;

• дизъюнкция;

• импликация;

• эквивалентность.

Таблица истинности – таблица, описывающая логическую функцию.

Логическая функция – функция, содержащая только логические переменные.

Логическая переменная -  переменная, принимающая только два различных значения «Истина» или «Ложь».

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