¬((X>3) \/ (X<3)) \/ (X<1) =
¬((2>3) \/ (2<3)) \/ (2<1) =
¬((0) \/ (1)) \/ (0) =
¬(0 \/ 1) \/ 0 =
¬1 \/ 0 =
0 \/ 0 =
0
ложно
¬((X>3) \/ (X<3)) \/ (X<1) =
¬((2>3) \/ (2<3)) \/ (2<1) =
¬((0) \/ (1)) \/ (0) =
¬(0 \/ 1) \/ 0 =
¬1 \/ 0 =
0 \/ 0 =
0
ложно