Возможно, имелись в виду законы алгебры логики, которые используются для упрощения логических выражений. zftsh.online www.homework.ru
Общая стратегия упрощения логических выражений: zftsh.online
- Избавиться от операций импликации. zftsh.online
- Продвинуть отрицание вглубь выражения. zftsh.online Для этого нужно применять законы де Моргана и закон двойного отрицания, пока знак отрицания не будет стоять только над переменными (но не над операциями). zftsh.online
- После этого можно выполнять другие действия: использовать тождества поглощения или раскрывать скобки. zftsh.online
Законы де Моргана гласят: ru.hexlet.io
- Отрицание конъюнкции (И) превращается в дизъюнкцию (ИЛИ) отрицаний. ru.hexlet.io
- Отрицание дизъюнкции (ИЛИ) превращается в конъюнкцию (И) отрицаний. ru.hexlet.io
Для доказательства законов де Моргана используются таблицы истинности. www.homework.ru