4) Даны простые высказывания:
A={3=6}, B={2<3}, C={4<1}
Определите истинность составного высказывания:
(AV¬B)^¬(¬AVC).​

Ответ:

Объяснение:

Истинность этого сложного высказывания определяется следующим образом:

(A ∨ ¬B) - истинное (так как A ложное, и ¬B истинное).

¬(¬A ∨ C) - ложное (так как ¬A истинное, и C ложное).

Тепер, когда у нас есть значения каждого из подвыражений, мы можем вычислить истинность конечного высказывания:

(Истинное) ^ (Ложное) = Ложное

Следовательно, конечное сложное высказывание (A ∨ ¬B) ^ ¬(¬A ∨ C) является ложным (False).