Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
не(a)&B&C&DvA&не(B)&не(C)&DVA&B&не(C)&не(D)
¬[((R⋁¬C)⇒S)⇒(R⋀C)]
¬(¬(x&z)v(¬(xvy)&zvx&y))
{[(¬p|q)∧(r|¬Q)]|(p↔q)}→(p∨r)
Identical expressions
{[(¬p|q)∧(r|¬Q)]|(p↔q)}→(p∨r)
{[(¬p module of q)∧(r|¬Q)]|(p↔q)}→(p∨r)
{[¬p|q∧r|¬Q]|p↔q}→p∨r

Mathematical Logic/ {[(¬p|q)∧(r|¬Q)]|(p↔q)}→(p∨r)

Expression {[(¬p|q)∧(r|¬Q)]|(p↔q)}→(p∨r)

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

⌨