$7
1.Записать рассуждение в логической символике, обосновать выбор логических связок (3б.) 2. Проверить правильность рассуждения методом Куайна (3 б.). 3. Проверить правильность рассуждения методом редукции (3 б.) 4. Проверить правильность рассуждения методом резолюций ...
Контрольные, Задачи и Тесты1 исполнитель
Закрыт
4 года назад