Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
┐((┐pΛq)V(┐pΛ┐q))V(pVq)
А×В×С+1
{(~p^q)v(pvq)}{p^[q^(~rv~p)]}^~q
y+(z+x)(x+y)+x(y+z)
Identical expressions
((a& one)*v*(one &b))*v1
((a&1) multiply by v multiply by (1&b)) multiply by v1
((a& one) multiply by v multiply by (one &b)) multiply by v1
((a&1)v(1&b))v1
a&1v1&bv1

Mathematical Logic/ ((a&1)*v*(1&b))*v1

Expression ((a&1)v(1&b))*v1

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

⌨