Mister Exam
Lang:
EN
EN
ES
RU
Mathematical logic signs and operations
How to use it?
Expression
:
((P→Q)∧(Q→P))↔(P↔Q)
¬x∨(y*z)⇒¬(z*w)∨y
¬Av(A&B)v(AvB)
¬(¬z(xvy))*(¬(¬y*(xvz))v(¬(¬x*(yvz))))
Identical expressions
¬Av(A&B)v(AvB)
¬AvA&BvAvB
Mathematical Logic
/
¬Av(A&B)v(AvB)
Expression ¬Av(A&B)v(AvB)
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
