Boolean algebra
ブール代数において、"p"←"q"は(A+B')と等価である。