Mister Exam
Lang:
EN
EN
ES
RU
Mathematical logic signs and operations
How to use it?
Expression
:
not(AandBandC)
(x|y)⇒(x|z)
А∧(В∨С)=(А∧В)∨(А∨С)
¬xvyv(¬y&z)v¬yvz
Identical expressions
¬(¬A&BvA&(Bv¬C))⇔¬B&(¬AvC)
¬¬A&BvA&Bv¬C⇔¬B&¬AvC
Mathematical Logic
/
¬(¬A&BvA&(Bv¬C))⇔¬B&(¬AvC)
Expression ¬(¬A&BvA&(Bv¬C))⇔¬B&(¬AvC)
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
