satisfiable formula

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