Презентации по Математике

Нормальные формы для формул алгебры высказываний
Нормальные формы для формул алгебры высказываний
Нормальные формы для формул алгебры высказываний   Одна и та же логическая формула может быть записана различным образом. Например, функция F(A,B) может быть записана следующими эквивалентными выражениями: Эквивалентность этих формул легко проверить по таблицам истинности или выполнив необходимые преобразования. Если логическое выражение содержит большое число операций, то составлять для него таблицу истинности достаточно сложно, так как приходится перебирать большое количество вариантов. В таких случаях формулы удобно привести к нормальной форме. Формула имеет нормальную форму, если в ней отсутствуют знаки эквивалентности, импликации, двойного отрицания, при этом знаки отрицания находятся только при логических переменных. В алгебре высказываний используют две нормальные формы: дизъюнктивную (ДНФ) и конъюнктивную нормальные формы (КНФ).
Продолжить чтение