conditional truth table rules - Search