Rakugrid › laws

laws/de-morgan-or

generated by gen/laws.raku · generated/laws/de-morgan-or.grid

law

!((?({A})) || (?({B}))) === (!(?({A}))) && (!(?({B})))

ladder

bool, arity 2

64 tests

64 agree

← laws/de-morgan-andlaws/double-negate →