umwigisha agomba kuba iruhande rw'uwo yigisha it gives its name to the channel which forms its seaward approach negation logical biconditional exclusive or tautology and contradiction are linear functions