2.md

Знак	Python	Описание	Когда правда?
¬	not()	не X (отрицание, инверсия)
∨	or	X или X (логическое сложение, дизъюнкция)	хотя бы ОДНО
∧	and	X и X (логическое умножение, конъюнкция)	только ДВА
→	<=	импликация (следование)	ВСЕГДА 1, КРОМЕ 1 -> 0 = 0)
≡ ∼	==	эквиваленция (эквивалентность, равносильность)	одинаковы
⊕	!=	строгая дизъюнкция

for x in 0,1:
  for y in 0,1:
    for z in 0,1:
      for w in 0,1:
        F = not(x and y) and (y or not(z)) and not(w)
        if F == 1:
          print(y,z,w,x)