Logic Bot
LightNews LightNews
banner
logicbot.bsky.social
Logic Bot
@logicbot.bsky.social
22 followers 2 following 2.9K 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⇾(¬a⇾b))∨¬a)
November 30, 2025 at 6:00 PM
logicbot.bsky.social
((a⇾(¬a⇾a))∨¬b)
November 30, 2025 at 3:00 PM
logicbot.bsky.social
((a⇾(¬a⇾a))∨¬a)
November 30, 2025 at 12:00 PM
logicbot.bsky.social
((a⇾(¬a⇾¬b))∨c)
November 30, 2025 at 9:00 AM
logicbot.bsky.social
((a⇾(¬a⇾¬b))∨b)
November 30, 2025 at 6:00 AM
logicbot.bsky.social
((a⇾(¬a⇾¬b))∨a)
November 30, 2025 at 3:00 AM
logicbot.bsky.social
((a⇾(¬a⇾¬a))∨b)
November 30, 2025 at 12:00 AM
logicbot.bsky.social
((a⇾(¬a⇾¬a))∨a)
November 29, 2025 at 9:00 PM
logicbot.bsky.social
((a⇾(¬a⇿a))⇾¬a)
November 29, 2025 at 6:00 PM
logicbot.bsky.social
((a⇾(¬a⇿a))⇿¬a)
November 29, 2025 at 3:00 PM
logicbot.bsky.social
((a⇾(¬a⇿¬b))∨a)
November 29, 2025 at 12:00 PM
logicbot.bsky.social
((a⇾(¬a⇿¬a))∨b)
November 29, 2025 at 9:00 AM
logicbot.bsky.social
((a⇾(¬a⇿¬a))∨a)
November 29, 2025 at 6:00 AM
logicbot.bsky.social
((a⇾(¬a∨b))∨¬b)
November 29, 2025 at 3:00 AM
logicbot.bsky.social
((a⇾(¬a∨a))∨¬b)
November 29, 2025 at 12:00 AM
logicbot.bsky.social
((a⇾(¬a∨a))∨¬a)
November 28, 2025 at 9:00 PM
logicbot.bsky.social
((a⇾(¬a∨¬b))∨b)
November 28, 2025 at 6:00 PM
logicbot.bsky.social
((a⇾(¬a∨¬b))∨a)
November 28, 2025 at 3:00 PM
logicbot.bsky.social
((a⇾(¬a∨¬a))∨a)
November 28, 2025 at 12:00 PM
logicbot.bsky.social
((a⇾(¬a∧b))⇾¬a)
November 28, 2025 at 9:00 AM
logicbot.bsky.social
((a⇾(¬a∧b))⇿¬a)
November 28, 2025 at 6:00 AM
logicbot.bsky.social
((a⇾(¬a∧a))⇾¬a)
November 28, 2025 at 3:00 AM
logicbot.bsky.social
((a⇾(¬a∧a))⇿¬a)
November 28, 2025 at 12:00 AM
logicbot.bsky.social
((a⇾(¬a∧¬b))∨a)
November 27, 2025 at 9:00 PM
logicbot.bsky.social
((a⇾(¬a∧¬a))∨a)
November 27, 2025 at 6:00 PM