Added logic axioms for the logical operators