Question

Укажите логическое выражение, равносильное выражению -(AvB)v(-B)

Answer 1

Ответ:

(A∨B)→-(В) По формуле упрощения импликации

Answer 2

Для нахождения логического выражения, эквивалентного выражению -(AvB)v(-B), вы можете воспользоваться законами де Моргана и законами двойного отрицания. Выражение можно упростить следующим образом:

-(AvB)v(-B)

Используем закон де Моргана для первого слагаемого:

(-A)^(-B)v(-B)

Теперь используем закон двойного отрицания для первого слагаемого:

(--A^(-B))v(-B)

Избавляемся от двойного отрицания:

(A^(-B))v(-B)

Теперь вы можете записать логическое выражение, эквивалентное исходному выражению, как (A^(-B))v(-B).