>>422
>Aは変項
>Bは変項

それでなんで
A→B
なんて論理式が作れるんだよ!