Проверочная работа по теме Логика

Проверочная работа
Вариант 1
1. Приведите по одному примеру истинного и ложного высказываний.
2. Вычислите: ((1 & 0) v1) & (1 vA).
3. Составьте таблицу истинности для следующей логической функции:
F = X &¬Yv ¬X & Y.
4. Задача.
Богини Гера, Афина и Афродита пришли к юному Парису, чтобы тот решил, кто из них прекраснее. Представ перед Парисом, богини высказали следующие утверждения:
Афродита: «Я самая прекрасная».
Афина: «Афродита не самая прекрасная».
Гера: «Я самая прекрасная».
Афродита: «Гера не самая прекрасная».
Афина: «Я самая прекрасная».
Парис предположил, что все утверждения прекраснейшей из богинь истинны, а все утверждения двух других богинь ложны. Мог ли Парис вынести решение, кто прекраснее из богинь?
Проверочная работа
Вариант 21. Приведите по одному примеру истинного и ложного высказываний.
2. Вычислите: ((0 & 0)v 0) & (1 vA).
3. Составьте таблицу истинности для следующей логической функции:
F=¬X&¬Yv X & Y.
4. Задача.
Богини Гера, Афина и Афродита пришли к юному Парису, чтобы тот решил, кто из них прекраснее. Представ перед Парисом, богини высказали следующие утверждения:
Афродита: «Я самая прекрасная».
Афина: «Афродита не самая прекрасная».
Гера: «Я самая прекрасная».
Афродита: «Гера не самая прекрасная».
Афина: «Я самая прекрасная».
Парис предположил, что все утверждения прекраснейшей из богинь истинны, а все утверждения двух других богинь ложны. Мог ли Парис вынести решение, кто прекраснее из богинь?