АИ отправте мелкого к вики чтоб почитал что такое ДНФ и КНФ, пусть сам сделает в соответствии со своими запросами
Как раз решение таких задач удобнее делать в лоджике