Question

какое выражение равносильно выражению ¬(А \/ ¬ В)

Answer 1

Не(А или не Б) равно Не А и Б.

Answer 2

Выражение ¬(А \/ ¬ В) можно переписать в следующем виде:

¬А /\ (¬¬В)

Здесь символ ¬ означает отрицание, символ \/ - логическое ИЛИ, а символ /\ - логическое И.

Теперь разберем каждую часть выражения:

1. ¬А - это отрицание переменной А. Если А истинно, то ¬А будет ложно, и наоборот.

2. (¬¬В) - это двойное отрицание переменной В. Если В истинно, то ¬¬В будет также истинно, и наоборот.

3. /\ - это логическое И. Оно возвращает истину только в том случае, если оба операнда истинны. В противном случае, возвращает ложь.

Таким образом, выражение ¬(А \/ ¬ В) равносильно выражению ¬А /\ (¬¬В). Это значит, что оба выражения будут принимать одинаковые значения истинности при любых значениях переменных А и В.