Решить,
обвиняемые а, в и с дали на суде показания:
а: я не виновен, виновен в
в: виновен а или с, или оба вместе
с: если я не виновен, то виновен в
запишите показания обвиняемых в виде логических формул с использованием операций над высказываниями
а: "виновен а"
в: "виновен в"
с: "виновен с"
составьте таблицу истинности для полученных сложных высказываний и определите по ней:
1. кто виновен, если все говорят правду
2. кто лжет, если все невиновны
3. кто лжет если все виновны
4. кто виновен, если все лгут
5. кто виновен, если виновные лгут, а не виновные говорят правду