Библиотека интерактивных материалов

Теоретический материал по теме «Полные системы булевых функций», в котором вводится определение полной системы булевой функции, рассматриваются методы доказательства полноты системы и приводятся примеры полных систем, состоящих из трех, двух и одной функций.

Теоретический материал по теме «Логические функции», в котором вводится понятие логической функции, рассматриваются логические функции от двух переменных.

Подборка практических заданий по теме «Полные системы булевых функций» на умение определять полные системы логических функций и доказывать их полноту.

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

Подборка проверочных заданий по теме «Полные системы булевых функций» на умение определять полные системы логических функций и доказывать их полноту.

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

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

Подборка проверочных заданий к главе 3 на умение строить СДНФ и СКНФ, минимизировать ДНФ, определять полноту функций, знание устройства дешифратора, сумматора и триггера.