p denktir 1,q denktir 0,r denktir 1

[(p ancak ve ancak r) ise (q' ve r)]'