سلام. درسته. یعنی حداقل به ازای یکی از ترکیب‌های متغیرها، کل عبارت برابر درست بشه.

خوب الان ما اگر برای گزارهای اولیه a , b مقدار برابر با f در نظر بگیرم a^b =! F نقظ می شه ولی این به این معنای نیست
که سازگار نسیت چون به ازای مقدار T برای a , b درست هست
پس نتیجه بگیرم جمله پایین غلط هست؟؟؟؟؟
{ a,b } سازگارند این بدین معنی هست که a^b =! F است(این توی حل یکی از تست های پوران بوده)

a,b گزاره هستن. هرکدوم ترکیبی از چندتا متغیر مثل p1 و p2 و p3 و ... اگه قرار باشه یکیشون (یعنی a یا b) برابر false باشه که دیگه سازگار نمیتونن باشن. چیزی که من میگم با a^b =! F مغایرتی نداره.