Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
¬((¬x1∧x2∧¬x3)∨(¬x1∧¬x2∧x3))
{(\neg{A}\lor{B}\lor{C})\land({A}\lor{B}\lor{C})=...}(¬A∨B∨C)∧(A∨B∨C)
xvy&z
¬a^¬bvc
Identical expressions
¬((¬x1∧x2∧¬x3)∨(¬x1∧¬x2∧x3))
¬¬x1∧x2∧¬x3∨¬x1∧¬x2∧x3

Mathematical Logic/ ¬((¬x1∧x2∧¬x3)∨(¬x1∧¬x2∧x3))

Expression ¬((¬x1∧x2∧¬x3)∨(¬x1∧¬x2∧x3))

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

⌨