בדידה 1 הרצאה 2 - צורות CNF,DNF, תנאי הכרחי ומספיק, פרדיקטים, כמתים ושלילת כמתים