Логика и метаматематические исследования

Задачу сведения формул к совершенным дизъюнктивным и конъюнктивным нормальным формам можно считать общей для элементарной логики высказываний и алгебры высказываний (Булевой алгебры). Однако, если в первой построение СДНФ или СКНФ завершает предшествующее построение таблицы истинности, то во второй оно выступает результатом метода эквивалентных преобразований.

❤10

www.tgoop.com/logic_metamathematics/787

592 viewsNov 10, 2024 at 01:31

Задачу сведения формул к совершенным дизъюнктивным и конъюнктивным нормальным формам можно считать общей для элементарной логики высказываний и алгебры высказываний (Булевой алгебры). Однако, если в первой построение СДНФ или СКНФ завершает предшествующее построение таблицы истинности, то во второй оно выступает результатом метода эквивалентных преобразований.

BY Логика и метаматематические исследования