λ
metnal
.
home
blog
archive
about
clause
<2023-09-28 Thu 15:11:27>
mahmood
math
a
clause
is an OR of
literal
s.