Day: August 13, 2026

Categories
October Surprise 2024

Simplicify $((A ā‡’ B) ā‡’ (B ā‡’ A)) ā‡’( Ā¬(Aāˆ§B) ā‡” Ā¬(BāˆØA))$

Rather than defining āˆ§ āˆ§ $wedge$ by using $phantom{rule{thickmathspace}{0ex}} phantom{rule{thickmathspace}{0ex}}$, I would define $phantom{rule{thickmathspace}{0ex}} phantom{rule{thickmathspace}{0ex}}$ using āˆØ āˆØ $vee$, and get rid of all those arrows. Once you have just Ā¬, āˆ§ Ā¬, āˆ§ $mathrm{neg },wedge$ and āˆØ āˆØ $vee$, simplification is a bit easier than expressions …