Вопросы к Поиску с Алисой
Принцип непротиворечивости в булевой алгебре гласит, что для любого булевского выражения и любых значений входящих в него переменных либо само выражение, либо его отрицание (not e) имеет значение True. intuit.ru
Другими словами, согласно этому принципу, два или более противоречивых утверждения не могут быть истинными в одном и том же смысле одновременно. en.wikipedia.org