Boolean

☞ x ≔ (1 = 0).
☞ y ≔ (1 = 1).
✎ psát: x, stop.
✎ psát: y, stop.
Nepravda
Pravda