{"atom":"laws/de-morgan-or","family":"laws","slug":"de-morgan-or","header":{"atom":"laws/de-morgan-or","gen":"gen/laws.raku","ladder":"bool, arity 2","law":"!((?({A})) || (?({B})))  ===  (!(?({A}))) && (!(?({B})))","source":"generated"},"axes":null,"cols":null,"engines":["rakudo-2026.07","rakupp-v3.14.0-77-gf431f48-dirty"],"kinds":["ref","pp"],"defFrom":"law:de-morgan-or","counts":{"a":64,"f":0,"d":0,"c":0,"r":0,"n":0},"files":["generated/laws/de-morgan-or.grid"],"records":[["0001","True | True","!((?(True)) || (?(True)))","same as (!(?(True))) && (!(?(True)))","a",["AGREE","AGREE"],0,0],["0002","True | False","!((?(True)) || (?(False)))","same as (!(?(True))) && (!(?(False)))","a",["AGREE","AGREE"],0,0],["0003","True | 0","!((?(True)) || (?(0)))","same as (!(?(True))) && (!(?(0)))","a",["AGREE","AGREE"],0,0],["0004","True | 1","!((?(True)) || (?(1)))","same as (!(?(True))) && (!(?(1)))","a",["AGREE","AGREE"],0,0],["0005","True | \"\"","!((?(True)) || (?(\"\")))","same as (!(?(True))) && (!(?(\"\")))","a",["AGREE","AGREE"],0,0],["0006","True | \"0\"","!((?(True)) || (?(\"0\")))","same as (!(?(True))) && (!(?(\"0\")))","a",["AGREE","AGREE"],0,0],["0007","True | Nil","!((?(True)) || (?(Nil)))","same as (!(?(True))) && (!(?(Nil)))","a",["AGREE","AGREE"],0,0],["0008","True | Any","!((?(True)) || (?(Any)))","same as (!(?(True))) && (!(?(Any)))","a",["AGREE","AGREE"],0,0],["0009","False | True","!((?(False)) || (?(True)))","same as (!(?(False))) && (!(?(True)))","a",["AGREE","AGREE"],0,0],["0010","False | False","!((?(False)) || (?(False)))","same as (!(?(False))) && (!(?(False)))","a",["AGREE","AGREE"],0,0],["0011","False | 0","!((?(False)) || (?(0)))","same as (!(?(False))) && (!(?(0)))","a",["AGREE","AGREE"],0,0],["0012","False | 1","!((?(False)) || (?(1)))","same as (!(?(False))) && (!(?(1)))","a",["AGREE","AGREE"],0,0],["0013","False | \"\"","!((?(False)) || (?(\"\")))","same as (!(?(False))) && (!(?(\"\")))","a",["AGREE","AGREE"],0,0],["0014","False | \"0\"","!((?(False)) || (?(\"0\")))","same as (!(?(False))) && (!(?(\"0\")))","a",["AGREE","AGREE"],0,0],["0015","False | Nil","!((?(False)) || (?(Nil)))","same as (!(?(False))) && (!(?(Nil)))","a",["AGREE","AGREE"],0,0],["0016","False | Any","!((?(False)) || (?(Any)))","same as (!(?(False))) && (!(?(Any)))","a",["AGREE","AGREE"],0,0],["0017","0 | True","!((?(0)) || (?(True)))","same as (!(?(0))) && (!(?(True)))","a",["AGREE","AGREE"],0,0],["0018","0 | False","!((?(0)) || (?(False)))","same as (!(?(0))) && (!(?(False)))","a",["AGREE","AGREE"],0,0],["0019","0 | 0","!((?(0)) || (?(0)))","same as (!(?(0))) && (!(?(0)))","a",["AGREE","AGREE"],0,0],["0020","0 | 1","!((?(0)) || (?(1)))","same as (!(?(0))) && (!(?(1)))","a",["AGREE","AGREE"],0,0],["0021","0 | \"\"","!((?(0)) || (?(\"\")))","same as (!(?(0))) && (!(?(\"\")))","a",["AGREE","AGREE"],0,0],["0022","0 | \"0\"","!((?(0)) || (?(\"0\")))","same as (!(?(0))) && (!(?(\"0\")))","a",["AGREE","AGREE"],0,0],["0023","0 | Nil","!((?(0)) || (?(Nil)))","same as (!(?(0))) && (!(?(Nil)))","a",["AGREE","AGREE"],0,0],["0024","0 | Any","!((?(0)) || (?(Any)))","same as (!(?(0))) && (!(?(Any)))","a",["AGREE","AGREE"],0,0],["0025","1 | True","!((?(1)) || (?(True)))","same as (!(?(1))) && (!(?(True)))","a",["AGREE","AGREE"],0,0],["0026","1 | False","!((?(1)) || (?(False)))","same as (!(?(1))) && (!(?(False)))","a",["AGREE","AGREE"],0,0],["0027","1 | 0","!((?(1)) || (?(0)))","same as (!(?(1))) && (!(?(0)))","a",["AGREE","AGREE"],0,0],["0028","1 | 1","!((?(1)) || (?(1)))","same as (!(?(1))) && (!(?(1)))","a",["AGREE","AGREE"],0,0],["0029","1 | \"\"","!((?(1)) || (?(\"\")))","same as (!(?(1))) && (!(?(\"\")))","a",["AGREE","AGREE"],0,0],["0030","1 | \"0\"","!((?(1)) || (?(\"0\")))","same as (!(?(1))) && (!(?(\"0\")))","a",["AGREE","AGREE"],0,0],["0031","1 | Nil","!((?(1)) || (?(Nil)))","same as (!(?(1))) && (!(?(Nil)))","a",["AGREE","AGREE"],0,0],["0032","1 | Any","!((?(1)) || (?(Any)))","same as (!(?(1))) && (!(?(Any)))","a",["AGREE","AGREE"],0,0],["0033","\"\" | True","!((?(\"\")) || (?(True)))","same as (!(?(\"\"))) && (!(?(True)))","a",["AGREE","AGREE"],0,0],["0034","\"\" | False","!((?(\"\")) || (?(False)))","same as (!(?(\"\"))) && (!(?(False)))","a",["AGREE","AGREE"],0,0],["0035","\"\" | 0","!((?(\"\")) || (?(0)))","same as (!(?(\"\"))) && (!(?(0)))","a",["AGREE","AGREE"],0,0],["0036","\"\" | 1","!((?(\"\")) || (?(1)))","same as (!(?(\"\"))) && (!(?(1)))","a",["AGREE","AGREE"],0,0],["0037","\"\" | \"\"","!((?(\"\")) || (?(\"\")))","same as (!(?(\"\"))) && (!(?(\"\")))","a",["AGREE","AGREE"],0,0],["0038","\"\" | \"0\"","!((?(\"\")) || (?(\"0\")))","same as (!(?(\"\"))) && (!(?(\"0\")))","a",["AGREE","AGREE"],0,0],["0039","\"\" | Nil","!((?(\"\")) || (?(Nil)))","same as (!(?(\"\"))) && (!(?(Nil)))","a",["AGREE","AGREE"],0,0],["0040","\"\" | Any","!((?(\"\")) || (?(Any)))","same as (!(?(\"\"))) && (!(?(Any)))","a",["AGREE","AGREE"],0,0],["0041","\"0\" | True","!((?(\"0\")) || (?(True)))","same as (!(?(\"0\"))) && (!(?(True)))","a",["AGREE","AGREE"],0,0],["0042","\"0\" | False","!((?(\"0\")) || (?(False)))","same as (!(?(\"0\"))) && (!(?(False)))","a",["AGREE","AGREE"],0,0],["0043","\"0\" | 0","!((?(\"0\")) || (?(0)))","same as (!(?(\"0\"))) && (!(?(0)))","a",["AGREE","AGREE"],0,0],["0044","\"0\" | 1","!((?(\"0\")) || (?(1)))","same as (!(?(\"0\"))) && (!(?(1)))","a",["AGREE","AGREE"],0,0],["0045","\"0\" | \"\"","!((?(\"0\")) || (?(\"\")))","same as (!(?(\"0\"))) && (!(?(\"\")))","a",["AGREE","AGREE"],0,0],["0046","\"0\" | \"0\"","!((?(\"0\")) || (?(\"0\")))","same as (!(?(\"0\"))) && (!(?(\"0\")))","a",["AGREE","AGREE"],0,0],["0047","\"0\" | Nil","!((?(\"0\")) || (?(Nil)))","same as (!(?(\"0\"))) && (!(?(Nil)))","a",["AGREE","AGREE"],0,0],["0048","\"0\" | Any","!((?(\"0\")) || (?(Any)))","same as (!(?(\"0\"))) && (!(?(Any)))","a",["AGREE","AGREE"],0,0],["0049","Nil | True","!((?(Nil)) || (?(True)))","same as (!(?(Nil))) && (!(?(True)))","a",["AGREE","AGREE"],0,0],["0050","Nil | False","!((?(Nil)) || (?(False)))","same as (!(?(Nil))) && (!(?(False)))","a",["AGREE","AGREE"],0,0],["0051","Nil | 0","!((?(Nil)) || (?(0)))","same as (!(?(Nil))) && (!(?(0)))","a",["AGREE","AGREE"],0,0],["0052","Nil | 1","!((?(Nil)) || (?(1)))","same as (!(?(Nil))) && (!(?(1)))","a",["AGREE","AGREE"],0,0],["0053","Nil | \"\"","!((?(Nil)) || (?(\"\")))","same as (!(?(Nil))) && (!(?(\"\")))","a",["AGREE","AGREE"],0,0],["0054","Nil | \"0\"","!((?(Nil)) || (?(\"0\")))","same as (!(?(Nil))) && (!(?(\"0\")))","a",["AGREE","AGREE"],0,0],["0055","Nil | Nil","!((?(Nil)) || (?(Nil)))","same as (!(?(Nil))) && (!(?(Nil)))","a",["AGREE","AGREE"],0,0],["0056","Nil | Any","!((?(Nil)) || (?(Any)))","same as (!(?(Nil))) && (!(?(Any)))","a",["AGREE","AGREE"],0,0],["0057","Any | True","!((?(Any)) || (?(True)))","same as (!(?(Any))) && (!(?(True)))","a",["AGREE","AGREE"],0,0],["0058","Any | False","!((?(Any)) || (?(False)))","same as (!(?(Any))) && (!(?(False)))","a",["AGREE","AGREE"],0,0],["0059","Any | 0","!((?(Any)) || (?(0)))","same as (!(?(Any))) && (!(?(0)))","a",["AGREE","AGREE"],0,0],["0060","Any | 1","!((?(Any)) || (?(1)))","same as (!(?(Any))) && (!(?(1)))","a",["AGREE","AGREE"],0,0],["0061","Any | \"\"","!((?(Any)) || (?(\"\")))","same as (!(?(Any))) && (!(?(\"\")))","a",["AGREE","AGREE"],0,0],["0062","Any | \"0\"","!((?(Any)) || (?(\"0\")))","same as (!(?(Any))) && (!(?(\"0\")))","a",["AGREE","AGREE"],0,0],["0063","Any | Nil","!((?(Any)) || (?(Nil)))","same as (!(?(Any))) && (!(?(Nil)))","a",["AGREE","AGREE"],0,0],["0064","Any | Any","!((?(Any)) || (?(Any)))","same as (!(?(Any))) && (!(?(Any)))","a",["AGREE","AGREE"],0,0]]}