(А коньюкция не С) ЭКВИВАЛЕНЦИЯ (С коньюкция В)

Коньюнкция не С эквивалентна дизъюнкции С и В.

Это правило, известное как закон противоположности, гласит, что коньюнкция не С (¬C) равносильна дизъюнкции С и В (C ∨ B). Другими словами, если мы имеем выражение "не С" (¬C), то это эквивалентно утверждению "С или В" (C ∨ B).

Таким образом, коньюнкция не С эквивалентна дизъюнкции С и В в логике.