黄芩加半夏生姜汤证和半夏泻心汤证均有呕而下利，两证在病因病机证候、方药作用部位上有何区别

如果模式只是BCNF，则R必是( )：反之，则( )成立。