# query laws of De Morgan
{:t1 = {:a :and :b}. :t2 :not :t1. :na :not :a. :nb :not :b.
_:t3 = {:na :or :n3}.