Логика суждений

Краткая справка

Алгоритм "Импульс"(анализ законов логики суждений):

1. произвести замену всех знаков импликации на символы дизъюнкции в соответствии с известной формулой x -> y = x' + y;
2. привести полученное выражение к ДНФ;
3. занести ДНФ в карту Карно и убедиться, что она вся покрыта единицами - это свидетельствует о истинности проверяемого закона или суждения.

Алгоритм "Импульс-С"(синтез импликативных силлогизмов)

Алгоритм инженерного синтеза импликативных силлогизмов по заданным посылкам немногим отличается от предыдущего алгоритма:

1. найти полную единицу системы М посылок, заменив импликацию по формуле x -> y = x' + y;
2. привести полученное выражение к ДНФ;
3. подставляя в полученное выражение необходимые аргументы и отбрасывая лишние, т.е. заменяя их логической единицей[30], выводим соответствующие заключения как функции интересующих нас аргументов. Если в результате подстановки будет получена единица, то однозначного заключения не существует.

Строго говоря, каждая единица в этом случае должна быть заменена на i.