Is it possible for $A\Leftrightarrow B$ to be written using only $A,B,\sim,\vee$? If so, how?
2026-04-03 04:36:24.1775190984
propositional logic syntax using different symbols
39 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
2
Using $\neg (A\oplus B)$ is equivalent to $A\iff B$ : $$ \neg(\neg(A \lor \neg B)\lor \neg(\neg A \lor B))$$ In general any logic function can be achieved using just $\neg$,$\lor$