zhimbura / boolean-expression-simplify Goto Github PK

(((((((((((((11e711a0 || 11e711a0) || 11e711a0) || 11e711a0) || 11e711a0) || 6ef34cda) || 11e711a0) || 11e711a0) || 11e711a0) || 11e711a0) || 11e711a0) || 86dfa8d7) || 9d764eb1) || 386e26e3)

Рассмотрим выражение "(a ∧ ¬a)".

1. Выражение является логическим.

2. Выразим его через операторы ИЛИ и НЕ:

(a ∧ ¬a) = (a ∨ ¬a) ∧ ¬(a ∧ ¬a) = 1 ∧ 0 = 0

3. Получим таблицу истинности:

Так как в таблице истинности нет строк, где выражение "a ∧ ¬a" принимает значение "1", выражение является противоречивым.