Шаблон:Список ЛП — различия между версиями
м |
|||
| (не показано 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> | ||
