Указать множество наборов, удовлетворяющих уравнению
S=(xy®yz) Ú x Ú y Ú z=0.
Решение получим, построив истинностную таблицу данной формулы. Убеждаемся в том, что на всех 8ми наборах истинности и ложности данных высказываний x, y, z формула принимает значение 1, т.е. наборов , где бы S принимала значение 0 нет, формула Sº1, т.е. тождественно истинна, т.е. наборов где бы S=0 нет.
К тому же результату можно прийти, преобразовав S и используя список основных равносильных формул:
,
т.к. а) 
,
б) 
.
