Example for 'truthtable' method.