Контрольная Формализуйте данное высказывание
Предмет:Логика Тип работы:Контрольная Количество страниц:2
Формализуйте данное высказывание средствами КЛВ и проверьте его общезначимость при помощи таблицы истинности.
Если из виновности Иванова вытекает виновность Петрова, а из виновности Сидорова невиновность Иванова, но при этом Петров с Сидоровым всегда ходят на «дело» вместе, то Иванов невиновен.
Цена:490 руб.