Равносильные преобразования логических формул

Равносильные преобразования логических формул имеют то же назначение, что и преобразования формул в обычной алгебре. Они служат для упрощения формул или приведения их к определённому виду путем использования основных законов алгебры логики

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

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

Пример. Упростить формулу при упрощении используется закон идемпотенции; затем комбинируются два первых и два последних сомножителя и используется закон склеивания.

Нужен реферат, сочинение, конспект? Тогда сохрани - » Равносильные преобразования логических формул . Готовые домашние задания!

Предыдущий реферат из данного раздела: Функциональная схема

Следующее сочинение из данной рубрики: Сумматор

Спасибо что посетили сайт Uznaem-kak.ru! Готовое сочинение на тему:
Равносильные преобразования логических формул.