Сomparison-line Голосов: 1 Адрес блога: http://comparison-line.ru Добавлен: 2010-11-26 13:42:23 блограйдером kottx

Булева формула

2013-05-28 11:37:36 (читать в оригинале)

Булева формула есть терм, определяемый следующим образом: кон-станты true и false — булевы формулы; если X и Y — булевы формулы, то и X v Y, X & Y, ~X — булевы формулы, здесь v и & — бинарные инфиксные операторы дизъюнкции и конъюнкции, а ~ — унарный оператор отрицания. Напишите предикат p(+T), определяющий, является [...]