#!/bin/sh
echo -e "\t\t\t\t\t___\t\t\t\t\t  _____";echo -e 'P\tQ\tR\tP^Q\tQ<->R\tPvR\t(P^Q)->(Q<->R)\t((P^Q)->(Q<->R))->(PvR)';./kdm1 0 0 0;./kdm1 0 0 1;./kdm1 0 1 0;./kdm1 0 1 1;./kdm1 1 0 0;./kdm1 1 0 1;./kdm1 1 1 0;./kdm1 1 1 1
