Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
av(b&c)<->(avb)&(avc)
(xvy)&(x&!z)
не((x|не(y))⊕(z->не(x)))
¬(¬(P∧Q)∧R)∨¬Q
Identical expressions
av(b&c)<->(avb)&(avc)
av(b&c) less than minus greater than (avb)&(avc)
avb&c<->avb&avc
Similar expressions
av(b&c&c(avc))=(avb)&(avc)
av(b&cvd)
¬(avb&c&¬a&b)va&(avc)
av(b&c)<+>(avb)&(avc)
av(b&cv(avc))

Mathematical Logic/ av(b&c)<->(avb)&(avc)

Expression av(b&c)<->(avb)&(avc)

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

⌨