Mister Exam

Lang:

How to use it?
Expression:
¬((¬a∧b)∨(a∧¬b∧c))
Av(A&B)=
(0&1&0&0)v(0&1&0&1)v(0&1&1&0)v(1&0&0&0)v(1&0&0&1)v(1&0&1&0)v(1&1&0&0)v(1&1&0&1)
¬a&¬bva&¬bv¬a&b
Identical expressions
(zero & one & zero & zero)v(zero & one & zero & one)v(zero & one & one & zero)v(one & zero & zero & zero)v(one & zero & zero & one)v(one & zero & one & zero)v(one & one & zero & zero)v(one & one & zero & one)
(0&1&0&0)v(0&1&0&1)v(0&1&1&0)v(1&0&0&0)v(1&0&0&1)v(1&0&1&0)v(1&1&0&0)v(1&1&0&1)
0&1&0&0v0&1&0&1v0&1&1&0v1&0&0&0v1&0&0&1v1&0&1&0v1&1&0&0v1&1&0&1

Expression (0&1&0&0)v(0&1&0&1)v(0&1&1&0)v(1&0&0&0)v(1&0&0&1)v(1&0&1&0)v(1&1&0&0)v(1&1&0&1)

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

⌨