#!/bin/sh
echo -e "\t\t\t\t  _\t  _\t\t   _";echo -e 'P\tQ\tR\tP->Q\tP^Q\tP^Q->R\t(P->Q)->(P^Q->R)'
./kdm-2 0 0 0;./kdm-2 0 0 1;./kdm-2 0 1 0;./kdm-2 0 1 1;./kdm-2 1 0 0;./kdm-2 1 0 1;./kdm-2 1 1 0;./kdm-2 1 1 1
