p Q ~p pq ~pq T T F T T T F F F F F T T F T F F T F F จะเห็นว่าค่าความจริงของ pq กับ ~pq มีบางกรณีไม่เหมือนกัน ดั้งนั้น pq ไม่สมมูลกับ ~pq นั่นคือ ข้อความทั้งสองข้างต้นจึงไม่สมมูลกัน