『(p∧『)q)为假所以(p∧『)q)为真,即p是真的或者p是假的而q也是假的.
『p→『q为真即p并『q为真,所以P真Q假