Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
А∧(В∨С)=(А∧В)∨(А∨С)
¬x&y∨¬(xvy)vx
{[∼A∨∼(B→A)]∨[∼(∼B∨A)∧∼(A→B)]}∨{A↔[(B∧A)∧(A∨B)]}
yv¬xv¬y
Identical expressions
{[∼A∨∼(B→A)]∨[∼(∼B∨A)∧∼(A→B)]}∨{A↔[(B∧A)∧(A∨B)]}
{[∼A∨∼B→A]∨[∼∼B∨A∧∼A→B]}∨{A↔[B∧A∧A∨B]}

Mathematical Logic/ {[∼A∨∼(B→A)]∨[∼(∼B∨A)∧∼(A→B)]}∨{A↔[(B∧A)∧(A∨B)]}

Expression {[∼A∨∼(B→A)]∨[∼(∼B∨A)∧∼(A→B)]}∨{A↔[(B∧A)∧(A∨B)]}

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

⌨