Способы преобразования логических выражений
учебно-методическое пособие по информатике и икт (10 класс) по теме

1)

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

2)

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

3)

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

4)

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

5)

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

6)

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

7)

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

8)

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

9)

(используются правило де Моргана, закон двойного отрицания и закон поглощения).