Академический Документы
Профессиональный Документы
Культура Документы
Практика.
Теория.
ЭД/ЭК – полная, если каждая переменная входит в нее (с отрицанием или без него) только 1 раз.
ЭД:
ЭК:
---------------------
----------------------------------------------------------------------------------------------------------------------------------------------------------
Всякую формулу логики предикатов можно свести к ПНФ, если использовать следующий
алгоритм:
Кванторы:
Номер 4 (общезначимость/выполнимость).
Практика.
Прочая теория.
1. Понятие высказывания.
Высказыванием называется всякое связное осмысленное повествовательное предложение, о
котором можно сказать, истинно оно или ложно. Ни одно выск-е не может быть одновременно
истинным и ложным.
А В A -> B
0 0 1
0 1 1
1 0 0
1 1 1
Эквивалентность:
А В A <-> B
0 0 1
0 1 0
1 0 0
1 1 1
Формулы АВ равносильны, если они принимают истинное значение на одних и тех же наборах
входящих в них выск.переменных.
6. Основные эквивалентности (с д-вом).
7. Булева алгебра. Модель булевой алгебры.
8. Стрелка Пирса. Штрих Шеффера
Стрелка Пирса - это высказывание, которое истинно только тогда, когда ложны
оба высказывания, входящие в него.
Штрих Шеффера – это высказывание, которое ложно только тогда, когда ложны
оба высказывания, входящие в него.
1) Каждое логическое сложение содержит все переменные, входящие в функцию F(x1, x2, …, xn).