Lysbilde 1 �C HUMIT1750 - H?st 2005 �C Universitetet i Oslo

Regneregler vs. tautologier

((A ? B)? C) ? ((A ? C) ? (B ? C))

?????? ((A ? B) ? C) ? (A ? (B ? C))

?????? ((A ? B) ? C) ? ((A ? (B ? C))

??????????????? ?(A ? B) ? (? A ? ? B)

(A ? B)? C = (A ? C) ?(B? ? C)

(A ? B) ? C = A ? (B ? C)

(A ? B) ? C = (A ? (B ? C)

(A ? B)? = (A? ? B?)