Логические основы схемотехники

    В качестве другого примера рассмотрим формулу А• , которой соответствует, например, высказывание “Катя самая высокая девочка в классе, и в классе есть девочки выше Кати”. Очевидно, что эта формула ложна, так как либо А, либо обязательно ложно. Такие формулы называются тождественно ложными формулами или противоречиями. Высказывания, которые формализуются противоречиями, называются логически ложными высказываниями.

    Если  две формулы А и В “одновременно”, то есть при одинаковых наборах значений входящих в них переменных, принимают одинаковые значения, то они называются равносильными.

    Равносильность двух формул алгебры логики обозначается символом “=”. Замена формулы другой, ей равносильной, называется равносильным преобразованием данной формулы.