Проверить равносильность формул путем составления таблиц истинности

и

Решение.

x	y	z				x	y	z
					≠

19. Дана формула алгебры логики: .

• С помощью эквивалентных преобразований привести формулу к ДНФ, КНФ, СДНФ, СКНФ;

Решение.

ДНФ:

КНФ:

СДНФ:

СКНФ:

Многочлен Жегалкина:

Построить таблицу истинности для данной функции и, пользуясь теоремами Шеннона, получить СДНФ и СКНФ этой функции. Упростить полученное выражение, пользуясь методом минимизирующих карт.

(на остальных наборах переменных функция равна 1).

Решение:

22. Упростить схему

Øx₁ x₄

Øx₃

A Øx₂ B

x₁

Øx₂ Øx₁

x₄

Решение.

Øx₁ Øx₃

А Øx₂ В

Øx₁ Øx₂