Для нахождения упрощения логических выражений через эквивалентные преобразования можно следовать таким шагам:
- Привести выражение к булевому виду. moiseevs.ru Для этого нужно заменить операции равнозначности, эквиваленции и импликации на конъюнкцию, дизъюнкцию и инверсию. moiseevs.ru
- Снять отрицания, стоящие над группами переменных. moiseevs.ru Это делается с помощью законов де Моргана. moiseevs.ru
- Раскрыть скобки. moiseevs.ru Для этого используются определённые свойства и правила. moiseevs.ru
- Упростить полученные выражения. moiseevs.ru Для этого применяются определённые законы и правила. moiseevs.ru urok.1sept.ru
Под упрощением формулы, не содержащей операций импликации и эквиваленции, понимают равносильное преобразование, приводящее к формуле, которая либо содержит по сравнению с исходной меньшее число операций конъюнкции и дизъюнкции и не содержит отрицаний неэлементарных формул, либо содержит меньшее число вхождений переменных. urok.1sept.ru