нормальные формы

  • Гиндикин С.Г. Алгебра логики в задачах. – М., Наука, 1972 – 288 с.
    Содержит следующие разделы: операции над высказываниями, функции алгебры логики, нормальные формы, закон двойственности, арифметические опреации в алгебре логики, монотонные функции, функционально замкнутые классы и теорема Поста, общая теория функционально замкнутых классов, схемы на функциональных элементах, релейно-контактные схемы, элементы вероятностной логики, многозначные логики, логика предикатов.