ОПРЕДЕЛЕНИЕ ЗНАЧЕНИЯ ИСТИННОСТИ ЗАМКНУТОЙ ЛОГИ- ЧЕСКОЙ ФОРМУЛЫ В ИСЧИСЛЕНИИ ВЫСКАЗЫВАНИЙ

Abstract

Предлагается булеву формулу -замкнутой, если перед ней подразумевается квантор общности относительно всех булевых переменных. В этом случае эту формулу можно трактовать как утверждение со значениями истинности false, false/true и true. В такой постановке значение истинности замкнутой булевой формулы определяется путем вычисления ее Ù -свертки и Ú -свертки.