In this module, we use the multiple symbol for conjunction and the addition symbol for disjunction. Negation is represented by a prime symbol. These notation symbols are consistent with the convention used in computer and electrical engineering.
Furthermore, we use 1 to represent true and 0 to represent false.