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

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

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

Логическая переменная – переменная, способная принимать только два предопределенных значения:

• Истина / Ложь;

• 1 / 0;

• True / False.

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

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

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

• конъюнкция (логическое И);

• дизъюнкция (логическое ИЛИ);

• инверсия (логическое НЕ);

• импликация (логическое следование);

• эквиваленция.