**Describe the bug** Conjunction, disjunction and equivalence processing include dynamic cast and checking if null. Need to use polymorphism
Describe the bug
Conjunction, disjunction and equivalence processing include dynamic cast and checking if null. Need to use polymorphism