Show newer
Logic Bot

¬¬((a⇾a)∨(b∧a))

0
Logic Bot

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

0
Logic Bot

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

0
Logic Bot

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

0
Logic Bot

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

0
Logic Bot

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

0
Logic Bot

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

0
Logic Bot

¬¬((a⇾a)∨(a∧b))

0
Logic Bot

¬¬((a⇾a)∨(a∧a))

0
Logic Bot

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

0
Logic Bot

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

0
Logic Bot

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

0
Logic Bot

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

0
Logic Bot

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

0
Logic Bot

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

0
Logic Bot

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

0
Logic Bot

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

0
Logic Bot

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

0
Logic Bot

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

0
Logic Bot

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

0
Show older
Mathstodon

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!

Resources

Developers

What is Mastodon?

mathstodon.xyz

More…