Построение таблиц истинности

Таблицы истинности можно строить с программными средствами. Общий вид кода следующий:

for x in range(2):
    for y in range(2):
        for z in range(2):
            for w in range(2):
                if (*Логическое выражение с переменными x, y, z и w*):
                    print(x,y,z,w,1)
                else:
                    print(x,y,z,w,0)

Запись логических выражений на языке python:

Например выражение (x ∧ ¬y) ∨ (x ≡ z) ∨ ¬w на python будет выглядеть как (x and (not(y)) or (x==z) or (not(w)).