Say I have a statement A if and only if B. How do I do it without an arrow just using these symbols? Do I get a truth table? Thank you.
Asked
Active
Viewed 128 times
2 Answers
2
$A \Rightarrow B$ is the same as $¬A ∨ B$
$B \Rightarrow A$ is the same as $¬B ∨ A$
So...
$$A \Leftrightarrow B$$ is the same as $(¬A ∨ B) ∧ (¬B ∨ A)$
peter.petrov
- 12,568
-
You sure helped me out a lot!!!! – Math Whiz Oct 20 '20 at 09:56
1
Also, we can write it so: $$(¬A∧¬B)∨(A∧B)$$ because $A\Leftrightarrow B$ is true iff both $A$ and $B$ are true or both $A$ and $B$ are lie.
Michael Rozenberg
- 194,933