Logic Bot
LightNews LightNews
banner
logicbot.bsky.social
Logic Bot
@logicbot.bsky.social
22 followers 2 following 2.8K posts
I tweet tautologies.

Created by @mscroggs.co.uk
How I work: mscroggs.co.uk/blog/13
Posts Replies Media Videos
logicbot.bsky.social
((a⇾¬b)∨(¬b∨a))
November 19, 2025 at 12:00 PM
logicbot.bsky.social
((a⇾¬b)∨(¬a⇾c))
November 19, 2025 at 9:00 AM
logicbot.bsky.social
((a⇾¬b)∨(¬a⇾b))
November 19, 2025 at 6:00 AM
logicbot.bsky.social
((a⇾¬b)∨(¬a⇾a))
November 19, 2025 at 3:00 AM
logicbot.bsky.social
((a⇾¬b)∨(¬a∨b))
November 19, 2025 at 12:00 AM
logicbot.bsky.social
((a⇾¬b)∨(¬a∨a))
November 18, 2025 at 9:00 PM
logicbot.bsky.social
((a⇾¬a)⇾(b⇾¬a))
November 18, 2025 at 6:00 PM
logicbot.bsky.social
((a⇾¬a)⇾(b∨¬b))
November 18, 2025 at 3:00 PM
logicbot.bsky.social
((a⇾¬a)⇾(b∨¬a))
November 18, 2025 at 12:00 PM
logicbot.bsky.social
((a⇾¬a)⇾(a⇾¬b))
November 18, 2025 at 9:00 AM
logicbot.bsky.social
((a⇾¬a)⇾(a⇾¬a))
November 18, 2025 at 6:00 AM
logicbot.bsky.social
((a⇾¬a)⇾(a∨¬a))
November 18, 2025 at 3:00 AM
logicbot.bsky.social
((a⇾¬a)⇾(¬b∨b))
November 18, 2025 at 12:00 AM
logicbot.bsky.social
((a⇾¬a)⇾(¬a∨b))
November 17, 2025 at 9:00 PM
logicbot.bsky.social
((a⇾¬a)⇾(¬a∨a))
November 17, 2025 at 6:00 PM
logicbot.bsky.social
((a⇾¬a)⇾¬(b∧a))
November 17, 2025 at 3:00 PM
logicbot.bsky.social
((a⇾¬a)⇾¬(a∨a))
November 17, 2025 at 12:00 PM
logicbot.bsky.social
((a⇾¬a)⇾¬(a∧b))
November 17, 2025 at 9:00 AM
logicbot.bsky.social
((a⇾¬a)⇾¬(a∧a))
November 17, 2025 at 6:00 AM
logicbot.bsky.social
((a⇾¬a)⇾¬¬¬¬¬a)
November 17, 2025 at 3:00 AM
logicbot.bsky.social
((a⇾¬a)⇿(a⇾¬a))
November 17, 2025 at 12:00 AM
logicbot.bsky.social
((a⇾¬a)⇿¬(a∨a))
November 16, 2025 at 9:00 PM
logicbot.bsky.social
((a⇾¬a)⇿¬(a∧a))
November 16, 2025 at 6:00 PM
logicbot.bsky.social
((a⇾¬a)⇿¬¬¬¬¬a)
November 16, 2025 at 3:00 PM
logicbot.bsky.social
((a⇾¬a)∨(b∨¬b))
November 16, 2025 at 12:00 PM