Можно таблицы истиности для каждого из 5 случаев построить.