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

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

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

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

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

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