Mister Exam
Lang:
EN
EN
ES
RU
Mathematical logic signs and operations
How to use it?
Expression
:
┐((┐pΛq)V(┐pΛ┐q))V(pVq)
А∧(В∨С)=(А∧В)∨(А∨С)
yv!y&!zvx&!zvz
y->(xvnot(z))
Canonical form
:
y-
Identical expressions
y->(xvnot(z))
y minus greater than (xvnot(z))
y->xvnotz
Similar expressions
noty¬zvz*xvnotz&y
x*(-y*-z)+(y*z)
y+>(xvnot(z))
notz<->not(x->(notyvz))^(y->(xvnotz))
not(z)vxvnot(z)vy
x(-z)vy(-z)vy
Mathematical Logic
/
y->(xvnot(z))
Expression y->(xvnot(z))
The teacher will be very surprised to see your correct solution 😉
Calculate!
⌨
¬
⇒
⇔
∨
&
⊕
∧
↓
(
)
→
↔
~
+
|
A
B
C
D
E
F
G
H
K
P
Q
R
S
T
Z
