Таблицы истинности. Логическая функция F задаётся выражением (a → b) → (¬a × c).

Построим таблицу истинности для логической функции \(F = (a \rightarrow b) \rightarrow ( eg a \land c)\). Сначала вычислим промежуточные выражения: импликацию \(a \rightarrow b\), отрицание \( eg a\) и конъюнкцию \( eg a \land c\) (обозначенную как ×). Затем найдём итоговую импликацию.

В таблице использованы обозначения: 0 — ложь, 1 — истина.

0 0 Пожаловаться