A :
jika A adalah
negasi
domain(2)
mod A

B:
min DNF ==> depan
relasi kom

C:
lim/ limit
A[1,2,3,4](2)
jika B

D:
posset
elemen
aljabar bolean
A[1,2,3] (2/3)
min DNF ==> belakang