Answer the question
In order to leave comments, you need to log in
How to prove logical formulas?
For example, an equivalence is given that expresses equivalence through other operations (the full formula is in the attachment). How can I prove such formulas?
The teacher did not accept the truth table as evidence.
Answer the question
In order to leave comments, you need to log in
You can put it in disjunctive normal form and compare, you can compare truth tables, or convert one to the other.
The most reinforced concrete and at the same time simple is to compile truth tables ;
You can also transform using identities (De Morgan, conjunction / disjunction with itself / 0/1, communicative / associative rules, etc.) - there are not so many of them, there are 15 basic ones.
Didn't find what you were looking for?
Ask your questionAsk a Question
731 491 924 answers to any question