Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
¬abcVabc
xyz∨x¬yz∨¬xy¬z(¬x∨y∨z)∧(x∨¬y∨z)∧(x∨¬y∨¬z)
xVx∧y
C→(((A→B)→B)∧(~A∧(~B∨A)))
Identical expressions
C→(((A→B)→B)∧(~A∧(~B∨A)))
C→A→B→B∧~A∧~B∨A

Mathematical Logic/ C→(((A→B)→B)∧(~A∧(~B∨A)))

Expression C→(((A→B)→B)∧(~A∧(~B∨A)))

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

⌨