Упрощение логических формул

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

В некотором роде преобразования логических формул похожи на преобразования формул в обычной алгебре.

Приведем примеры:

Примеры на составление таблиц истинности:

1. По заданной функции построить таблицу истинности и логическую схему

x	y	z			x·z