1. Составить таблицу истинности, выписать, для каких наборов значений простых высказываний формула принимает значение истина 2. С логики равносильных преобразований привести формулу к виду, когда используются только операции и отрицание над простыми высказываниями 3. Преобразовать выражение, используя законы алгебры логики