without using truth table prove that (pvq)v( p^q) = pの検索結果