O trojhodnotové logice

Попытка аксиоматического построения функционально полной системы трехзначной логики ;