Изменения

Перейти к: навигация, поиск

Шаблон:Список ЛП

973 байта добавлено, 13 январь
<div class="NavFrame collapsed"><div class="NavContent">[[Логический закон]] ==<div style="-moz-column-count= [[Логическая функция|Логические функции:2; -webkit-column-count:2">]] ==*=== [[логический законотрицание]];===*=== [[логическая функциядизъюнкция]];===**=== [[совершенная дизъюнктивная нормальная формаконъюнкция]] (====== [[СДНФразделительная дизъюнкция]]);===**=== [[совершенная конъюнктивная нормальная формаимпликация]] (====== [[СКНФобратная импликация]]);===**=== [[минимальная эквиваленция]] ====== [[стрелка Пирса]] ====== [[штрих Шеффера]] ====== [[полином Жегалкина]] ===== Нормальные формы: ===== [[совершенная дизъюнктивная нормальная форма]] (=== === [[МДНФсовершенная конъюнктивная нормальная форма]]);===**=== [[минимальная конъюнктивная дизъюнктивная нормальная форма]] (====== [[МКНФминимальная конъюнктивная нормальная форма]]);===**=== [[алгебраическая нормальная форма]] (===== [[АНФТаблица истинности]]).==*== [[таблица истинностиКарта Карно]];==*== [[Трёхмерная карта Карно]];==*== [[трёхмерная карта КарноПредикат]];==*== [[полином ЖегалкинаСеквенции]];==*== [[предикатСуждение]];==*== [[секвенцииУмозаключение|Умозаключения:]];==*=== [[превращение]] ====== [[обращение]] ====== [[противопоставление предикату]] ====== [[противопоставление субъекту]] ====== [[чисто условные умозаключения]] ====== [[силлогизм]];===*=== [[суждениеусловно-категорические умозаключения]];===*=== [[умозаключениеразделительно-категорические умозаключения]].===</div>=== [[эквивалентно-категорические умозаключения]] ===</div>== Диаграммы: ==</div>=== [[диаграмма Венна]] ====== [[диаграмма Эйлера]] ===
<noinclude>[[Категория:Шаблоны:Списки]]</noinclude>
40 519
правок