inferred:

wff:
⊢:
→:
¬:
⟷:
∧:
∨:
∧ + ∨:
if:
ded:
3wff:
nand:
xor:
nor:
∀, =, ⊤, ⊥:
⊤ + ⊥:
adders:

min:
imp:
meredith:
luka:
nicod:
luka-nicod:
lukshef:
tbw:
merco1:
merco2:
rb:
stoic: