Равносильные преобразования логических формул имеют то же назначение, что и преобразования формул в обычной алгебре.
Они служат для упрощения формул или приведения их к определённому виду путем использования основных законов алгебры логики.
Задания
Задание 1
Определить, является данное выражение истинным или ложным
- не X V не (X V Y) V не (Y & не (X & Y))
- не ( X V Y V не(X & Y)) & не (Y V X)
Задание 2
Заданы логические функции F1 и F2. Определить, являются ли они тождественными
- F1 = X1 & неX2 V X1 & X3 V неX2 & X3
- F2 = (X1 & X2 V X2 & X3 V X1 & неX3) & (X1 & неX2 V неX2 & X3)
Задание 3
Упростите логические выражения:
Задание 4
Упростите логические выражения:
Задание 5
Упростите логические выражения:
Задание 6
Решите уровнения