Задача 20. Две логические формулыa , b назовем похожими, если
а) либо a =b ;
б) либо a = NOT a ', b = NOT b ', где a ', b ' похожие;
в) либо a =(a '), b =(b '), где a ', b ' похожие;
г) либо a =a 1 op a 2, b =b 1 op b 2. где opI {OR,AND}, причем либо a 1, b 1 похожие и a 2, b 2 похожие, либо a 2, b 1 похожие и a 1, b 2 похожие.
Все остальные пары a , b .непохожие. Определить, являются ли похожими две заданные логические формулы.
|