ТАБЛИЦЫ ИСТИННОСТИ
Построим таблицу истинности для функции F:
F = (x ≡ z ) ∨ (x → (y ∧ z))
Задействовано три переменных → возможно 8 комбинаций.
Установим...
РАБОТА С БУЛЕВЫМИ ФУНКЦИЯМИ
📍Существует набор законов и свойств, которые легко доказуемы с помощью таблицы истинности и всегда применимы:
¬ ¬А = А
А v ¬A = 1
A v 1 = 1
A v...
БУЛЕВЫ ФУНКЦИИ
Основные булевые функции:
1️⃣ Тождество, эквивалентность.
▪️Обозначается: ~, ≡.
▪️Выражение истинно, если слева и справа одинаковые значения.
...
БАЗИС БУЛЯ
👨💻 Буль — по имени первого исследователя математической Джорджа Буля.
В базисе всего 3 операции: {∧, v, ¬} - И, ИЛИ, НЕ.
Например:
...
БИНАРНЫЕ ФУНКЦИИ
Логических функций от одного аргумента всего 4.
👉 Бинарные функции (иногда их еще называют ОПЕРАТОРАМИ): операция сложение — это бинарная функция,...
ВВЕДЕНИЕ В МАТЕМАТИЧЕСКУЮ ЛОГИКУ
Это выражение либо истинно(1), либо ложно(0)
❔Что можно делать, если есть только 0 и 1?
Рассмотрим бинарную (имеющую два состояния) переменную...
БАЗЫ ДАННЫХ
Рассмотрим две таблицы. В первой — информация о людях. Во второй указано родство.
Левый — это родитель правого.
Можно сразу понять, кто кому...