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