О расширении набора значений булевских выражений

[escalibur]

Интересная тема расширить триаду состояний в булевских функциях T, F, V - истина, ложь и входящее значение ещё двумя - U и C - неопределенность и аварийный останов с целью обеспечения интересов практической инженерии программного обеспечения.

Так как мне по теме условий больше всего импонируют тройки Хоара, то нужно будет обдумать то, как это расширение набора исходов повлияет на эту концепцию.

В ответ на этот доклад: Мой доклад (был в Переславле 4 октября) | Николай Непейвода (vk.com)