Математическая логика и теория алгоритмов
ИДЗ 1
ИДЗ1 для 7363
ИДЗ1 для 7302
ИДЗ 2
Разбор решения ИДЗ 2 для 7302
ИДЗ 2 для 7363
Домашнее задание
Во всех равенствах замените вопросительный знак на одно из четырех
значений 0, 1, \(X\), \(\overline X\). Например, \(\overline X \vee X = 1\), а
\(X \cdot 1 = X\). Значения слева и справа от равенства должны совпадать при \(X=0\)
и при \(X=1\).
Дизъюнкция
| \(0 \vee 0 = ?\) |
\(1 \vee 0 = ?\) |
\(X \vee 0 = ?\) |
\(\overline X \vee 0 = ?\) |
| \(0 \vee 1 = ?\) |
\(1 \vee 1 = ?\) |
\(X \vee 1 = ?\) |
\(\overline X \vee 1 = ?\) |
| \(0 \vee X = ?\) |
\(1 \vee X = ?\) |
\(X \vee X = ?\) |
\(\overline X \vee X = ?\) |
| \(0 \vee \overline X = ?\) |
\(1 \vee \overline X = ?\) |
\(X \vee \overline X = ?\) |
\(\overline X \vee \overline X = ?\) |
Конъюнкция
| \(0 \cdot 0 = ?\) |
\(1 \cdot 0 = ?\) |
\(X \cdot 0 = ?\) |
\(\overline X \cdot 0 = ?\) |
| \(0 \cdot 1 = ?\) |
\(1 \cdot 1 = ?\) |
\(X \cdot 1 = ?\) |
\(\overline X \cdot 1 = ?\) |
| \(0 \cdot X = ?\) |
\(1 \cdot X = ?\) |
\(X \cdot X = ?\) |
\(\overline X \cdot X = ?\) |
| \(0 \cdot \overline X = ?\) |
\(1 \cdot \overline X = ?\) |
\(X \cdot \overline X = ?\) |
\(\overline X \cdot \overline X = ?\) |
Исключающее или
| \(0 + 0 = ?\) |
\(1 + 0 = ?\) |
\(X + 0 = ?\) |
\(\overline X + 0 = ?\) |
| \(0 + 1 = ?\) |
\(1 + 1 = ?\) |
\(X + 1 = ?\) |
\(\overline X + 1 = ?\) |
| \(0 + X = ?\) |
\(1 + X = ?\) |
\(X + X = ?\) |
\(\overline X + X = ?\) |
| \(0 + \overline X = ?\) |
\(1 + \overline X = ?\) |
\(X + \overline X = ?\) |
\(\overline X + \overline X = ?\) |
Импликация
| \(0 \Rightarrow 0 = ?\) |
\(1 \Rightarrow 0 = ?\) |
\(X \Rightarrow 0 = ?\) |
\(\overline X \Rightarrow 0 = ?\) |
| \(0 \Rightarrow 1 = ?\) |
\(1 \Rightarrow 1 = ?\) |
\(X \Rightarrow 1 = ?\) |
\(\overline X \Rightarrow 1 = ?\) |
| \(0 \Rightarrow X = ?\) |
\(1 \Rightarrow X = ?\) |
\(X \Rightarrow X = ?\) |
\(\overline X \Rightarrow X = ?\) |
| \(0 \Rightarrow \overline X = ?\) |
\(1 \Rightarrow \overline X = ?\) |
\(X \Rightarrow \overline X = ?\) |
\(\overline X \Rightarrow \overline X = ?\) |
Равносильность
| \(0 \Leftrightarrow 0 = ?\) |
\(1 \Leftrightarrow 0 = ?\) |
\(X \Leftrightarrow 0 = ?\) |
\(\overline X \Leftrightarrow 0 = ?\) |
| \(0 \Leftrightarrow 1 = ?\) |
\(1 \Leftrightarrow 1 = ?\) |
\(X \Leftrightarrow 1 = ?\) |
\(\overline X \Leftrightarrow 1 = ?\) |
| \(0 \Leftrightarrow X = ?\) |
\(1 \Leftrightarrow X = ?\) |
\(X \Leftrightarrow X = ?\) |
\(\overline X \Leftrightarrow X = ?\) |
| \(0 \Leftrightarrow \overline X = ?\) |
\(1 \Leftrightarrow \overline X = ?\) |
\(X \Leftrightarrow \overline X = ?\) |
\(\overline X \Leftrightarrow \overline X = ?\) |