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

Ротко, В.Ф. , доцент, канд. техн. наук, Севастопольский национальный технический университет

Главная
→
Вестник СевГТУ. Информатика, электроника, связь
→
2006 (Выпуск 74)
→
Просмотр элемента

dc.contributor.author	Ротко, В.Ф. , доцент, канд. техн. наук, Севастопольский национальный технический университет
dc.date.accessioned	2010-03-31T11:51:40Z
dc.date.available	2010-03-31T11:51:40Z
dc.date.issued	2006
dc.identifier.citation	Вестник СевГТУ.- Вып.74.- С.77-83	en_US, ru, uk
dc.identifier.uri	http://hdl.handle.net/123456789/726
dc.description	Логика математическая. Программирование математическое	en_US, ru, uk
dc.description.abstract	Предлагается булеву формулу -замкнутой, если перед ней подразумевается квантор общности относительно всех булевых переменных. В этом случае эту формулу можно трактовать как утверждение со значениями истинности false, false/true и true. В такой постановке значение истинности замкнутой булевой формулы определяется путем вычисления ее Ù -свертки и Ú -свертки.	en_US, ru, uk
dc.publisher	Севастопольский национальный технический университет	en_US, ru, uk
dc.title	ОПРЕДЕЛЕНИЕ ЗНАЧЕНИЯ ИСТИННОСТИ ЗАМКНУТОЙ ЛОГИ- ЧЕСКОЙ ФОРМУЛЫ В ИСЧИСЛЕНИИ ВЫСКАЗЫВАНИЙ	en_US, ru, uk