Anonymous
public text v1 · immutablerule1:- bla1, bla2, bla3.
rule2:- bla4, bla5, bla6.
ikanopoieitai otan rule1 || rule2 = T => (bla1 && bla2 && bla3) || (bla4 && bla5 && bla6) = Trule1:- bla1, bla2, bla3.
rule2:- bla4, bla5, bla6.
ikanopoieitai otan rule1 || rule2 = T => (bla1 && bla2 && bla3) || (bla4 && bla5 && bla6) = T