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