Для создания компьютерных программ используют разные модели программирования. В статье рассказываем о логическом программировании — что это такое, где применяется и какой язык необходим для этой модели. Логическое программирование — одна из возможных парадигм программирования. Она основывается на математической логике: программы задаются в форме логических утверждений и правил вывода. На основании заданных фактов формируются новые. Это упрощенная версия функционального программирования для математиков и лингвистов, которые обрабатывают символьную информацию...

В этом материале перечислим основные программы и симуляторы логических схем, позволяющие отрабатывать навыки работы с логическими элементами (вентилями) и моделирования работы логических схем. Как правило, в таких программах или симуляторах логических схем реализуются следующие логические операции: Также могут встречаться другие логические блоки, соответствующие следующим логическим операциям: "штрих Шеффера", она же И-НЕ или NAND (англ. not and); "Стрелка Пирса" она же ИЛИ-НЕ или NOR (англ. not or); "Эквиваленция" или "Эквивалентность", она же инверсия исключающего «или» или XNOR...