Constructs a formula that is true iff this formula and f
are both true.
Constructs a formula that is true iff this formula and f
are both true.
Constructs a clause that proves atoms
when this formula is true.
Constructs a clause that proves atoms
when this formula is true.