ᄆ(А⊕В)⊧1 → ⬨А⊧1∨⬨В⊧1 → А⊧U∧В⊧U. Либо А, либо В неизбежно истинны. Тогда: А возможно истинно или В возможно истинно. Тогда: А неопределенно и В неопределенно.
В трехзначной логике наряду с категорическими высказываниями (утверждение, отрицание) есть ещё и логические допущения: пусть, допустим, предположим, возможно. На самом деле эти самые допущения имплицитно присутствуют и в классической логике. Когда вы решаете логическую задачу, в её условиях - допущения с неизвестной истинностью. А категоричность появляется только в ответе. Разница в том, что в задачах на трёхзначную логику в ответе также может быть неопределенность. Целью таких задач является её упрощение, уменьшение возможных ответов. Так же как и в математике - там тоже есть задачи на упрощение.