Shramko-Wansingの16値論理