function h = NON_KB2hp(KB)
% NON_KB2hp - converts a KB to a hyperplane normal form 
%    set of coefficients
% On input:
%     KB(struct KB): KB info (n atoms)
%      KB(k).clasues (1xk vector): disjunction as integers
%      KN(k).prob (float): clause probability
% On output:
%     h (m+2n by (n+1) vector): hyperplane coefficients for each
%        clause
% Call:
%     h = NON_KB2hp(KB);
% Author:
%     T. Geary
%     UU
%     Summer 2023
% 
