Assertion: different gate | /r/HasProperty | available
Facets:
Source sentences:
text: As alternative, if different gates are available we can apply Boolean algebra to transform ( A ⋅ B ¯ )