Помоите решить задачу по ЛОГИКЕ!

[yursan]

Пусть А – Арнольд проголосовал за законопроект,
В – Билл проголосовал за законопроект, С – Саймон проголосовал
за законопроект. Формализуйте приведенные ниже суждения. Для
получившихся формул постройте таблицы истинности и укажите:
А – какие из них соответствуют приведенной ниже таблице;
В – какие являются тавтологиями (логическими законами).
А В С Результат
И И И Л
И И Л Л
И Л И И
И Л Л И
Л И И И
Л И Л И
Л Л И И
Л Л Л И
1. По крайней мере, Саймон или Билл проголосовали за законо-
проект. Если Арнольд не голосовал «за», то без сомнения также не
голосовал «за» и Саймон. Следовательно, либо Арнольд, либо Билл
голосовал за законопроект.
2. Если Арнольд проголосовал «за», то Саймон точно не голосо-
вал «за», а если Арнольд не проголосовал «за», то Билл тоже не
голосовал «за». Следовательно, либо Саймон, либо Билл проголо-
совал за законопроект.
3. Если Саймон и Арнольд проголосовали «за», то Билл уж точ-
но не голосовал «за», а если «за» голосует Арнольд, то обязательно
«за» голосует и Саймон. Следовательно, либо __________Саймон, либо Билл
голосовал за законопроект.
4. Саймон голосует «за» тогда и только тогда, когда «за» голо-
сует Арнольд. Однако Арнольд не голосует «за», если и только ес-
ли «за» голосует Билл. Следовательно, либо Саймон, либо Билл
голосовал за законопроект.

GAA: 12.05.13 тема перемещена в Карантин по следующим причинам:

1. Отсутствуют попытки решения.
2. Малоинформативный заголовок.

Исправьте все Ваши ошибки и сообщите об этом в теме Сообщение в карантине исправлено.
Настоятельно рекомендуется ознакомиться с темами Что такое карантин и что нужно делать, чтобы там оказаться и Правила научного форума.