Составить программу для вычислению надо!

Что бы это уравнение было верно, нужно, что бы все скобки были итинными.

Следствие всегда истинно, кроме если из истинны идет ложь. Рассотрим эти варианты по скобкам. Исключая варианты которые входят в предыдущие ходы.

1) J = 1 L = 0 --- 8 вариантов

2) K = 1 L = 0 --- 4 варианта

3) M = 1 N = 1 --- 5 вариантов

4) L = 1 M = 0 --- 8 вариантов

5) M = 1 K = 0 --- 3 вариантов

всего 28 вариантов неверных.

32 - 28 = 4 верных варианта --- 4 решения уравнения.

 

П.С. Можно решить легче: сначала подставить L=0 и делать что бы в скобках было 1 всегда. Потом L=1. У меня получилось в первом 2 варианта и во втором 2. всего 4

А) не ( A или не В и С ) упрощаем выражение и получаем
not(a) and (b or not(c))

Код на Python:

for a in range(0,2):
    for b in range(0,2):
        for c in range(0,2):
            f=not(a) and (b or not(c))
            print('A = ',a,'B = ',b,'C = ',c,'F = ',f)

б) А и не ( В и или не С) получим такое выражение:
a and (b or not(c))

Код на Python:

for a in range(0,2):
    for b in range(0,2):
        for c in range(0,2):
            f=a and (b or not(c))
            print('A = ',a,'B = ',b,'C = ',c,'F = ',f)


в) не ( не А или В и С)  преобразуем:
a and (b or c)

Код на Python:

for a in range(0,2):
    for b in range(0,2):
        for c in range(0,2):
            f=a and (b or c)
            print('A = ',a,'B = ',b,'C = ',c,'F = ',f)