的运算包含下列几种，基本包含“与”(AND)、“或”(OR)、“非”(NOT)，其中由这三种又可组合成NAND（与非）、NOR（或非）、XOR（异或）与XNOR（异或非）。常见使用记号：“formula_41”表示AND，“＋”表示OR（如CNF和DNF中）或者XOR（如ANF中）；A中A上面的一横表示NOT；⊕表示XOR；⊙表示XNOR。The following alternatives do not work; still searching for good template