Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
¬bv(b&¬a)
𝑝→(¬𝑞∧𝑟)≡¬𝑝∨¬(𝑟→𝑞)
(P→Q)∧(Q→R)→(P→R)
¬(¬(avb)vc)v¬abva¬b
Identical expressions
𝑝→(¬𝑞∧𝑟)≡¬𝑝∨¬(𝑟→𝑞)
𝑝→¬𝑞∧𝑟≡¬𝑝∨¬𝑟→𝑞

Mathematical Logic/ 𝑝→(¬𝑞∧𝑟)≡¬𝑝∨¬(𝑟→𝑞)

Expression 𝑝→(¬𝑞∧𝑟)≡¬𝑝∨¬(𝑟→𝑞)

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

⌨