Домашнее задание по курсу «Логика и теория алгоритмов » (ИУ7, возможно, ИУ3). Включает три задачи: две по булевым функциям и одну по доказательству в теории высказываний. (Решение → 4718)

Домашнее задание по курсу «Логика и теория алгоритмов » (ИУ7, возможно, ИУ3). Включает три задачи: две по булевым функциям и одну по доказательству в теории высказываний.