(idea) by jesler Tue Aug 21 2001 at 15:43:25
More formally, you might see the following. HTML symbol names are in parentheses.

¬ NOT   (¬)

∨ OR   (∨)

∧ AND   (∧)

≡ equivalent   (≡)

→ implies   (→)

↔ if and only if   (↔)

| NAND

↓ NOR   (↓)

⊥ falsum, 0   (⊥)

I like it! 1 C!

Log in or register to write something here or to contact authors.