Quaternary K-map for mutually exclusive variables and its simplification

• 四值互斥变量K图及其化简