Multi-valued Cells
摘要
So far the cells assumed binary values true and false, which prompted usage of somewhat non-standard formulas (BD) and (B1D1) in Chap. 2 (Sects. 2.2 , 2.3 ), defining semantics.