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.
The underlying (positive) atom.
Constructs a clause that proves atoms
when this formula is true.
Constructs a clause that proves atoms
when this formula is true.
Negates this literal.
A variable with name
label
.