clause (Q1228746)
in logic, disjunction of literals
Language:
other details
description in logic, disjunction of literals

External Links
(P646) /m/0cdy0l
(P2581) 03229661n
(P2812) Clause