Математическая логика и теория алгоритмов

ИДЗ 1

ИДЗ1 для 7363

ИДЗ1 для 7302

ИДЗ 2

Разбор решения ИДЗ 2 для 7302

ИДЗ 2 для 7363

Домашнее задание

Во всех равенствах замените вопросительный знак на одно из четырех значений 0, 1, X, X―. Например, X―∨X=1, а X⋅1=X. Значения слева и справа от равенства должны совпадать при X=0 и при X=1.

Дизъюнкция

0∨0=? 1∨0=? X∨0=? X―∨0=?
0∨1=? 1∨1=? X∨1=? X―∨1=?
0∨X=? 1∨X=? X∨X=? X―∨X=?
0∨X―=? 1∨X―=? X∨X―=? X―∨X―=?

Конъюнкция

0⋅0=? 1⋅0=? X⋅0=? X―⋅0=?
0⋅1=? 1⋅1=? X⋅1=? X―⋅1=?
0⋅X=? 1⋅X=? X⋅X=? X―⋅X=?
0⋅X―=? 1⋅X―=? X⋅X―=? X―⋅X―=?

Исключающее или

0+0=? 1+0=? X+0=? X―+0=?
0+1=? 1+1=? X+1=? X―+1=?
0+X=? 1+X=? X+X=? X―+X=?
0+X―=? 1+X―=? X+X―=? X―+X―=?

Импликация

0⇒0=? 1⇒0=? X⇒0=? X―⇒0=?
0⇒1=? 1⇒1=? X⇒1=? X―⇒1=?
0⇒X=? 1⇒X=? X⇒X=? X―⇒X=?
0⇒X―=? 1⇒X―=? X⇒X―=? X―⇒X―=?

Равносильность

0⇔0=? 1⇔0=? X⇔0=? X―⇔0=?
0⇔1=? 1⇔1=? X⇔1=? X―⇔1=?
0⇔X=? 1⇔X=? X⇔X=? X―⇔X=?
0⇔X―=? 1⇔X―=? X⇔X―=? X―⇔X―=?