Un universo contiene los tres a, b y c. Para estos individuos, se define un predicado Q (x,y) y sus valores de verdad están dados por la tabla siguiente:
SOLUCION
