Zevs vs дешкомпьютер

[Суматра]

Сообщение от ВладМ2

Спасибо, уважаемый Суматра, за ответ. Может, Вы тогда сможете пояснить и вопрос о возможности решения по более уточнённым условиям задачи? ИТАК:
Количество переменных - всего 2, в которых:
x - идёт дождь
y - холодно
Коньюнкция должна дать высказывание: "Холодно и идёт дождь"
Дизъюнкция: "Холодно и/или идет дождь"
(обозначение "и/или" примем для нестрогой дизъюнкции, а просто "или" - будет для строгой, сиречь для функции "сложения по модулю 2", о которой речь пока не идёт )

Ага, коньюнкция должна дать высказывание: "Холодно и идёт дождь", а сложение 2 и 3 должно дать выражение "2+3" .

Булев результат-то будет, ага?

Встречный вопрос: дважды два-четыре - чему равно?

Сейчас по сути вопроса.
Как я уже писала, дешграмма в данном случае - обыкновенная таблица истинности.



Чтобы было какое-то разнообразие по сравнению с "классикой", я свела 2 таблицы в одну:



Вроде б не сбилась, проверяйте.