((? | ?) & !(!(?)))
((!(?) & !(?)) | !(?))
((? | ?) & ?)
true
((!(t) & !(?)) | !(t))
((t | ?) & t)