Элементы математической логики. Обвиняемые А, В и С дали на суде показания:

A: Если В не виновен, то и С не виновен

B: Я не виновен, виновен А

C: А и В либо оба виновны, либо оба невиновны

1 вопрос:

Запишите показания обвиняемых в виде логических формул с использованием операций над высказываниями

А: «виновен А»

В: «виновен В»

С: «виновен С»

2 вопрос

Составьте таблицу истинности для полученных сложных высказываний и определите по ней (если это возможно по условию Вашего варианта):

1) кто виновен, если все говорят правду,

2) кто лжет, если все невиновны;

3) кто лжет, если все виновны;

4) кто виновен, если все лгут;

5) кто виновен, если виновные лгут, а невиновные говорят правду.

hlipkaya    2   10.01.2022 20:59    3