Партнерка на США и Канаду по недвижимости, выплаты в крипто
- 30% recurring commission
- Выплаты в USDT
- Вывод каждую неделю
- Комиссия до 5 лет за каждого referral
Задание 6. Пусть А – Андрей проголосовал за законопроект, В – Борис проголосовал за законопроект, С – Семен проголосовал за законопроект. Формализуйте приведенные ниже суждения. Для получившихся формул постройте таблицы истинности и укажите:
A | B | C | Результат |
1 | 1 | 1 | 1 |
1 | 1 | 0 | 1 |
1 | 0 | 1 | 0 |
1 | 0 | 0 | 1 |
0 | 1 | 1 | 1 |
0 | 1 | 0 | 0 |
0 | 0 | 1 | 1 |
0 | 0 | 0 | 1 |
А – какие из них соответствуют приведенной ниже таблице;
В – какие являются тавтологиями (логическими законами).
1. По крайней мере, Семен или Борис проголосовали за законопроект. Если Андрей не голосовал «за», то без сомнений также не голосовал «за» и Семен. Следовательно, Андрей и Борис не голосовали за законопроект.
2. Если Андрей проголосовал «за», то Семен точно не голосовал «за». А если Андрей не проголосовал «за», то Борис тоже не голосовал «за». Следовательно, Андрей и Борис не голосовали за законопроект.
3. Если Семен и Андрей проголосовали «за», то Борис уж точно не голосовал «за». А если «за» голосует Андрей, то обязательно «за» голосует и Семен. Следовательно, Андрей и Борис не голосовали за законопроект.
4. Семен голосует «за» тогда и только тогда, когда «за» голосует Андрей. Однако Андрей не голосует «за», если и только если «за» голосует Борис. Следовательно, Андрей и Борис не голосовали за законопроект.
