Задача

Напишите программу для. проверки истинности утверждения ¬(X ⋁ Y ⋁ Z) = ¬X ⋀ ¬Y ⋀ ¬Z для всех значений предикат.

Решение

Для того, чтобы не вносить 8 раз в каждую из предикат новое значение принято следующее решение:

• число комбинаций для трех переменных равно 2^3 = 8.

0 0 0

0 0 1

0 1 0

0 1 1

1 0 0

1 0 1

1 1 0

1 1 1

• эти комбинации соответствуют бинарному представлению десятичных чисел от 0 до 7
• в цикле переводим числа от 0 до 7 в двоичную систему
• далее с помощью replace заменяем символ b на 0.
• приравниваем и переводим в целочисленный тип данных к X третий элемент с конца, Y - второй, и Z - первый.
• содана логическая переменная result Ей присвоено значеие True.
• в цикле перемнной result присваивается значение конъюнкции result и равенства логических значений левой и правой частей выражения.