Шаблон:Список ЛП — различия между версиями
м |
|||
(не показано 7 промежуточных версий этого же участника) | |||
Строка 2: | Строка 2: | ||
<div class="NavContent"> | <div class="NavContent"> | ||
<div style="column-count:2"> | <div style="column-count:2"> | ||
− | *[[ | + | *'''[[Логический закон]];''' |
− | *[[ | + | *'''[[Логическая функция|Логические функции]];''' |
+ | *'''Нормальные формы:''' | ||
**[[совершенная дизъюнктивная нормальная форма]]; | **[[совершенная дизъюнктивная нормальная форма]]; | ||
**[[совершенная конъюнктивная нормальная форма]]; | **[[совершенная конъюнктивная нормальная форма]]; | ||
Строка 9: | Строка 10: | ||
**[[минимальная конъюнктивная нормальная форма]]; | **[[минимальная конъюнктивная нормальная форма]]; | ||
**[[алгебраическая нормальная форма]]; | **[[алгебраическая нормальная форма]]; | ||
− | *[[ | + | *'''[[Таблица истинности]];''' |
− | *[[ | + | *'''[[Карта Карно]];''' |
− | *[[ | + | *'''[[Трёхмерная карта Карно]];''' |
− | *[[ | + | *'''[[Предикат]];''' |
− | *[[ | + | *'''[[Исчисление высказываний]];''' |
− | *[[ | + | *'''[[Специальное исчисление высказываний]];''' |
− | *[[ | + | *'''[[Секвенции]];''' |
− | *[[ | + | *'''[[Суждение]];''' |
− | + | *'''[[Умозаключение|Умозаключения]].''' | |
− | * | ||
− | |||
− | |||
− | |||
</div> | </div> | ||
</div> | </div> | ||
</div> | </div> | ||
<noinclude>[[Категория:Шаблоны:Списки]]</noinclude> | <noinclude>[[Категория:Шаблоны:Списки]]</noinclude> |