Решая подобные задачи проще всего использовать альтернативные символы операций, заменяя ∧ на знак умножения, ∨ - на знак сложения, ¬ - на надчеркивание. Запись становится компактнее и похода на алгебраическую. Да она, фактически и есть алгебраическая, потому что булева алгебра - это тоже алгебра. Следовательно, мы можем поступать с элементами выражения как в обычной алгебре - складывать умножать, раскрывать скобки и группировать члены выражения. Конечно, есть небольшие отличия и их надо учитывать.
Я нарисовал специальную картинку, с которой можно решать любые задачи на упрощение. Пользуйтесь))
вот в 6 программа выводит все числа кроме 1 и самого числа #1
x=int(input())
s=0
while x!=0:
x=int(input())
s+=1
print(s)
#2
x=int(input())
s=0
while x!=0:
x=int(input())
if x==3:
s+=1
print(s)
#3
x=1
s=-1
s1=0
while x!=0:
x=int(input())
if (x%2)==0:
s+=1
else:
s1+=1
print('четные-',s,'\n','нечетные-',s1)
#4
x=1
s=-1
s1=0
while x!=0:
x=int(input())
if (x%2)==0:
s+=x
else:
s1+=x
print('четные sum-',s,'\n','sum нечетные-',s1)
#5
s=0
x=int(input())
while s<=x:
y=int(input())
s+=y
if s<=x:
break
#6
x=int(input())
t=x-1
while t>1:
if (x%t)==0:
print(x/t)
t-=1
else:
t-=1
y:=x mod 10 это равняется 2
z:=x div 10 это равняется 5
x:=2*10+5=25