🎄T
Как же я проорал с этого
Почему у тебя все фотки такие сексуальные/
// 3. Boolean is a iota of truthfulness.
//
boolean := iota.
// 4. True and false are the boolean possibilities.
//
true, false := boolean.
// 5. Truthfulness gives rise to normal logic.
//
not p :=
p := boolean.
-> p ?
true -> false.
false -> true.
p and q :=
p, q := boolean.
-> p ?
true -> q.
false -> false.
p or q :=
p, q := boolean.
-> p ?
true -> true.
false -> q.
p xor q :=
p, q := boolean.
-> (p or q) and not (p and q.)
