Лекция п Булевы функции. Существенная и фиктивная переменная

Решение. =(Раскрытие стрелки Пирса, импликации, штриха Шеффера)=

==

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

==

==

==

=(используем правила поглощения)=

==(используем правила поглощения)=

=.

Преобразуем формулу B, используя соответствующие эквивалентности:

=

=( раскрытие стрелки Пирса, импликации)=

==

=(законы де Моргана, раскрытие стрелки Пирса, двойное отрицание)=

==

=(используем правила поглощения)=

=.

Тем самым доказываем эквивалентность формул A и B.



Булевы функции можно использовать для решения некоторого класса логических задач.