Вопрос:

5. Даны простые высказывания: A={5>3}, B = {2=3} и С = {4<2}. Определите истинность составных высказываний: a) (Av B) & C ⇔ (A&C) v (B&C); б) (A&B) v C ⇔ (Av C) & (A & B).

Ответ:

Решение задания 5

A = Истина, так как 5 > 3

B = Ложь, так как 2 ≠ 3

C = Ложь, так как 4 > 2

  1. a) (A v B) & C ↔ (A & C) v (B & C)

    A v B = Истина, так как A истинно.

    A & C = Ложь, так как C ложно.

    B & C = Ложь, так как B и C ложны.

    (A v B) & C = Ложь, так как C ложно.

    (A & C) v (B & C) = Ложь, так как оба выражения ложны.

    Следовательно, (A v B) & C ↔ (A & C) v (B & C) = Истина, так как обе части эквивалентности ложны.

    Ответ: Истина

  2. б) (A & B) v C ↔ (A v C) & (A & B)

    A & B = Ложь, так как B ложно.

    A v C = Истина, так как A истинно.

    (A & B) v C = Ложь, так как оба выражения ложны.

    A & B = Ложь.

    (A v C) & (A & B) = Ложь, так как одно из выражений ложно.

    Следовательно, (A & B) v C ↔ (A v C) & (A & B) = Истина, так как обе части эквивалентности ложны.

    Ответ: Истина

Смотреть решения всех заданий с листа

Похожие