Выражение: x' + x + xz + yz, которое читается как x не или x или x и z или y и z. Это выражение является сокращенной формой очень большого выражения, которое я пытаюсь доказать равным 1.
Я знаю, что приведенное выше выражение эквивалентно 1 согласно Wolfram и другому редуктору выражений. Любое объяснение было бы очень полезно. Заранее спасибо.
Предположим, что Wolfram использует 1 как синоним true. Первые два члена выражения — x' и x. Одно или другое из них должно быть 1 (true), поэтому логическое ИЛИ двух из них равно 1. Тогда логическое ИЛИ true и всего остального будет true. Вот почему все выражение сводится к 1.
Ключом к пониманию этого выражения является идея оператора or. Если у вас есть true or false or smth, независимо от того, что такое smth,, выражение все равно будет истинным. Итак, в вашем случае xz + yz здесь избыточно, потому что x' + x охватывает весь набор возможных значений.
