(a*b)+c
!a a' ~a not a
!a
a'
~a
not a
ab a*b a and b a&b
ab
a*b
a and b
a&b
a+b a or b a|b
a+b
a or b
a|b
a⊼b a nand b a↑b
a⊼b
a nand b
a↑b
a⊽b a nor b a↓b
a⊽b
a nor b
a↓b
a⊕b a xor b a^b
a⊕b
a xor b
a^b
a⊙b a xnor b a≡b
a⊙b
a xnor b
a≡b