The general Boolean formula can be quickly converted into a normal form, A $, the
conjunction of triple disjunctions of literals, which is satisfiable iff the original is. On the other …