"if a then b else not b" truth table

module Main (main) where

import Data.Foldable (traverse_)

main :: IO ()
main = traverse_ print $
    [ (a, b, if a then b else not b)
    | a <- [False, True]
    , b <- [False, True] ]