propositional logic syntax using different symbols

39 Views Asked by At

Is it possible for $A\Leftrightarrow B$ to be written using only $A,B,\sim,\vee$? If so, how?

2

There are 2 best solutions below

1
On BEST ANSWER

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$

1
On

Yes:

$\lnot (\lnot A\lor \lnot B) \lor \lnot(A\lor B)$