Создать алгоритм проверки коллизий

Рассмотрим выражение "(a ∧ ¬a)".

1. Выражение является логическим.

2. Выразим его через операторы ИЛИ и НЕ:

(a ∧ ¬a) = (a ∨ ¬a) ∧ ¬(a ∧ ¬a) = 1 ∧ 0 = 0

3. Получим таблицу истинности:

a | ¬a | a ∧ ¬a
--|----|-------
0 | 1  |   0  
1 | 0  |   0  

Так как в таблице истинности нет строк, где выражение "a ∧ ¬a" принимает значение "1", выражение является противоречивым.