'''
Sprawdzenie poprawności tautologii dla wszystkich możliwych
wartośći a i b
'''
print("a","b","wyraż.")
a=True; b=True; print(a,b,(not (a or b)) == (not a and not b))
a=True; b=False; print(a,b,(not (a or b)) == (not a and not b))
a=False; b=True; print(a,b,(not (a or b)) == (not a and not b))
a=False; b=False; print(a,b,(not (a or b)) == (not a and not b))