satisfiable forumula

[ریاضیات] فرمول صدق پذیری