(PM 1962:11) and logical product defined as p . q .=. ~(~p ∨ ~q) Df.
(PM 1962:11) ותוצר לוגי מוגדר כ: p . q .=. ~(~p ∨ ~q) Df.