|
|
Коротко о сайте
|
На данном сайте вы можете найти рефераты по информатике, прочитать их на страницах сайта или скачать в архиве. Сайт имеет удобную навигацию, рефераты распределены по разделам информатики. Поэтому необходимый реферат нетрудно будет найти.
Кроме рефератов на сайте есть раздел Полезные статьи, в котором мы размещаем статьи наших партнёров.
|
Упрощение логических формул
|
Равносильные преобразования логических формул имеют то же назначение, что и преобразования формул в обычной алгебре. Они служат для упрощения формул или приведения их к определённому виду путем использования основных законов алгебры логики
Под упрощением формулы понимают равносильное преобразование, приводящее к формуле, которая либо содержит по сравнению с исходной меньшее число операций конъюнкции и дизъюнкции и не содержит отрицаний неэлементарных формул, либо содержит меньшее число вхождений переменных
Некоторые преобразования логических формул похожи на преобразования формул в обычной алгебре (вынесение общего множителя за скобки, использование переместительного и сочетательного законов и т.п.), тогда как другие преобразования основаны на свойствах, которыми не обладают операции обычной алгебры (использование распределительного закона для конъюнкции, законов поглощения, склеивания, де Моргана и др.)
Скачать реферат полностью в архиве
|
|
|
|
|
|
