Boolean

false equivalence value monome verifiable or gate quine mccluskey algorithm true xor gate 0 booleanize and gate guard truthiness nor gate falsiness difference gate bool positive logic nand gate zhegalkin polynomial negative logic thue morse sequence squircle true or false do loop data 1 equivalence gate not gate truthy booleans xnor gate primitive type falsy antidomain built in type variable difference tribool operation