Информатика 10-11. Книга 1. Теория (с задачами и решениями). Шауцукова Л.З. - 143 стр.

    2)
(применяется правило де Моргана, выносится за скобки общий множитель, используется
правило операций переменной с её инверсией);


    3)
(повторяется второй сомножитель, что разрешено законом идемпотенции; затем
комбинируются два первых и два последних сомножителя и используется закон
склеивания);




    4)
(вводится вспомогательный логический сомножитель (           ); затем комбинируются
два крайних и два средних логических слагаемых и используется закон поглощения);


    5)
(сначала добиваемся, чтобы знак отрицания стоял только перед отдельными
переменными, а не перед их комбинациями, для этого дважды применяем правило де
Моргана; затем используем закон двойного отрицания);

    6)
(выносятся за скобки общие множители; применяется правило операций с константами);



     7)
(к отрицаниям неэлементарных формул применяется правило де Моргана; используются
законы двойного отрицания и склеивания);




     8)
(общий множитель x выносится за скобки, комбинируются слагаемые в скобках — первое
с третьим и второе с четвертым, к дизъюнкции       применяется правило операции
переменной с её инверсией);




     9)
(используются распределительный закон для дизъюнкции, правило операции переменной
с ее инверсией, правило операций с константами, переместительный закон и
распределительный закон для конъюнкции);