table.logic{
  border-collapse: collapse;
  border-spacing: 10px;
}

table.logic td{
  padding: 5px;
}

span.not{
  padding: 2px 0px 0px 0px;
  border-top: 1px solid black;
}

span.not2{
  text-decoration: overline;
}