Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
(p∧q)∨¬((p∨q)→(p∧q))∨(p∨q)
avbvcv¬a
(BvC)(AvB)
(A∧B→B∧C)→((A→B)→(C→B))
Identical expressions
(A∧B→B∧C)→((A→B)→(C→B))
A∧B→B∧C→A→B→C→B

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

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

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

⌨