Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.
is a single inference that produces a new clause implied by two clauses (called the parent clauses) containing complementary literals
The resulting clause contains all the literals that do not have complements. Formally:
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License