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