Logic Bot

I tweet tautologies.

Created by @mscroggs. How I work: also tooted at @[email protected]

[Logic Bot @mathslogicbot]

((¬a⇿a)⇾¬(b⇿a))

[Logic Bot @mathslogicbot]

((¬a⇿a)⇾¬(b∨c))

[Logic Bot @mathslogicbot]

((¬a⇿a)⇾¬(b∨b))

[Logic Bot @mathslogicbot]

((¬a⇿a)⇾¬(b∨a))

[Logic Bot @mathslogicbot]

((¬a⇿a)⇾¬(b∧c))

[Logic Bot @mathslogicbot]

((¬a⇿a)⇾¬(b∧b))

[Logic Bot @mathslogicbot]

((¬a⇿a)⇾¬(b∧a))

[Logic Bot @mathslogicbot]

((¬a⇿a)⇾¬(a⇾b))

[Logic Bot @mathslogicbot]

((¬a⇿a)⇾¬(a⇾a))

[Logic Bot @mathslogicbot]

((¬a⇿a)⇾¬(a⇿b))

[Logic Bot @mathslogicbot]

((¬a⇿a)⇾¬(a⇿a))

[Logic Bot @mathslogicbot]

((¬a⇿a)⇾¬(a∨b))

[Logic Bot @mathslogicbot]

((¬a⇿a)⇾¬(a∨a))

[Logic Bot @mathslogicbot]

((¬a⇿a)⇾¬(a∧b))

[Logic Bot @mathslogicbot]

((¬a⇿a)⇾¬(a∧a))

[Logic Bot @mathslogicbot]

((¬a⇿a)⇾¬¬¬¬¬b)

[Logic Bot @mathslogicbot]

((¬a⇿a)⇾¬¬¬¬¬a)

[Logic Bot @mathslogicbot]

((¬a⇿a)⇿(b⇿¬b))

[Logic Bot @mathslogicbot]

((¬a⇿a)⇿(b∧¬b))

[Logic Bot @mathslogicbot]

((¬a⇿a)⇿(a⇿¬a))