:: למיטב ידיעתי לא. נודיע אם יהיו שינויים בנושא. --[[משתמש:Grisha|Grisha]] 22:03, 4 בפברואר 2012 (IST)
<nowiki>== בחינה ==
בשאלה 1.
p&~q)imlies ~r)
התשובה היא (p or r)& ~(~q &r)~ ולא כפי שהמרצה רשם?
</nowiki>
בשאלה 2.
האם אפשר להוכיח בשלילה את טרנזיטיביות,כלומר B XOR D אינסופית אזי B XOR C אינסופית וגם D XOR C אינסופית?