Шаблон:Список ЛП

• логический закон;
• логическая функция:
  • совершенная дизъюнктивная нормальная форма;
  • совершенная конъюнктивная нормальная форма;
  • минимальная дизъюнктивная нормальная форма;
  • минимальная конъюнктивная нормальная форма;
  • алгебраическая нормальная форма;
• таблица истинности;
• карта Карно;
• трёхмерная карта Карно;
• полином Жегалкина;
• предикат;
• секвенции;
• суждение;
• умозаключения:
  • Чисто условные умозаключения;
  • силогизмы;
  • разделительно-категорические;
  • условно-категорические;
  • эквивалентные.