Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
((P→Q)∧(Q→P))↔(P↔Q)
¬a&bv(¬a&c&b)
yz+¬y¬z→z+x¬y
xyvx&(-y)v(-x)&y
Identical expressions
xyvx&(-y)v(-x)&y
xyvx&( minus y)v( minus x)&y
xyvx&-yv-x&y
Similar expressions
xyvx&(y)v(-x)&y
xyvx&(-y)v(x)&y

Mathematical Logic/ xyvx&(-y)v(-x)&y

Expression xyvx&(-y)v(-x)&y

The teacher will be very surprised to see your correct solution 😉

⌨