Z
Z
zig482021-01-07 22:35:23
Mathematics
zig48, 2021-01-07 22:35:23

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? 5ff7626e181a2323411976.png
The teacher did not accept the truth table as evidence.

Answer the question

In order to leave comments, you need to log in

2 answer(s)
F
Filipp42, 2021-01-07
@Filipp42

You can put it in disjunctive normal form and compare, you can compare truth tables, or convert one to the other.

G
Grigory Boev, 2021-01-08
@ProgrammerForever

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 question

Ask a Question

731 491 924 answers to any question