My question is about propositional logic.
How can i simplify the formula (F≡¬F) . In my opinion this is simply false ⊥), but i'm not sure about it.
For the formula (p≡q) , what is the equivalent formula that contains no connectives other than ⊃ (implication) and ⊥ (false) ?
Please help me! I could not find any resource on that. Thank you !